@Unpublished{Eijck02:lthl,
  author = 	 {Eijck, J. van},
  title = 	 {Labelled Tableaux for Hybrid Logics},
  note = 	 {manuscript, {CWI}},
  OPTkey = 	 {},
  OPTmonth = 	 {},
  year = 	 {2002},
  OPTannote = 	 {}
}

@Unpublished{Eijck02:lcwl,
  author = 	 {Eijck, J. van},
  title = 	 {Loop Checking with Labels}
  note = 	 {manuscript, {CWI}},
  OPTkey = 	 {},
  OPTmonth = 	 {},
  year = 	 {2002},
  OPTannote = 	 {}
}

@Unpublished{Eijck02:hylotab,
  author = 	 {Eijck, J. van},
  title = 	 {Hy{L}o{T}ab --- 
                 {T}ableau-based Theorem Proving for Hybrid Logics},
  note = 	 {manuscript, {CWI}, 
                  available from \verb^http://www.cwi.nl/~jve/hylotab^}, 
  OPTkey = 	 {},
  OPTmonth = 	 {},
  year = 	 {2002},
  OPTannote = 	 {}
}