Infante-LopezAR02'

BibTeX

@inproceedings{DBLP:conf/aiml/Infante-LopezAR02,
  author    = {Gabriel G. Infante L{\'o}pez and
               Carlos Areces and
               Maarten de Rijke},
  title     = {Controlled Model Exploration},
  booktitle = {Advances in Modal Logic},
  year      = {2002},
  pages     = {205-220},
  crossref  = {DBLP:conf/aiml/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aiml/2002,
  editor    = {Philippe Balbiani and
               Nobu-Yuki Suzuki and
               Frank Wolter and
               Michael Zakharyaschev},
  title     = {Advances in Modal Logic 4, papers from the fourth conference
               on "Advances in Modal logic," held in Toulouse (France)
               in October 2002},
  booktitle = {Advances in Modal Logic},
  publisher = {King's College Publications},
  year      = {2003},
  isbn      = {0-9543006-2-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}