DBLP BibTeX Record 'conf/aiml/Finger00'

@inproceedings{DBLP:conf/aiml/Finger00,
  author    = {Marcelo Finger},
  title     = {Algorithmic Correspondence Theory for Substructural Categorial
               Logic},
  booktitle = {Advances in Modal Logic},
  year      = {2000},
  pages     = {153-172},
  crossref  = {DBLP:conf/aiml/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/aiml/2000,
  editor    = {Frank Wolter and
               Heinrich Wansing and
               Maarten de Rijke and
               Michael Zakharyaschev},
  title     = {Advances in Modal Logic 3, papers from the third conference
               on "Advances in Modal logic," held in Leipzig (Germany)
               in October 2000},
  booktitle = {Advances in Modal Logic},
  publisher = {World Scientific},
  year      = {2002},
  isbn      = {981-238-179-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}