# Bib file

@inproceedings{Klin2005CALCO,
  author = {B. Klin},
  title = {The least fibred lifting and the expressivity of 
           coalgebraic modal logic},
  booktitle = {Proc. CALCO 2005},
  editor = {J. Fiadeiro and J. Rutten},
  series = {LNCS},
  volume = {3629},
  year = {2005}
}