@inproceedings{DBLP:conf/birthday/Ohlbach05,
  author    = {Hans J{\"u}rgen Ohlbach},
  title     = {Modelling Periodic Temporal Notions by Labelled Partitionings
               - The PartLib Library},
  booktitle = {We Will Show Them! (2)},
  year      = {2005},
  pages     = {453-498},
  crossref  = {DBLP:conf/birthday/2005gabbay2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/birthday/2005gabbay2,
  editor    = {Sergei N. Art{\"e}mov and
               Howard Barringer and
               Artur S. d'Avila Garcez and
               Lu\'{\i}s C. Lamb and
               John Woods},
  title     = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume
               Two},
  booktitle = {We Will Show Them! (2)},
  publisher = {College Publications},
  year      = {2005},
  isbn      = {1-904987-26-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}