BasinMV97'

BibTeX

@inproceedings{DBLP:conf/ki/BasinMV97,
  author    = {David A. Basin and
               Se{\'a}n Matthews and
               Luca Vigan{\`o}},
  title     = {Labelled Quantified Modal Logics},
  booktitle = {KI},
  year      = {1997},
  pages     = {171-182},
  crossref  = {DBLP:conf/ki/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ki/1997,
  editor    = {Gerhard Brewka and
               Christopher Habel and
               Bernhard Nebel},
  title     = {KI-97: Advances in Artificial Intelligence, 21st Annual
               German Conference on Artificial Intelligence, Freiburg,
               Germany, September 9-12, 1997, Proceedings},
  booktitle = {KI},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1303},
  year      = {1997},
  isbn      = {3-540-63493-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}