DBLP BibTeX Record 'conf/ismvl/BejarHM01'

@inproceedings{DBLP:conf/ismvl/BejarHM01,
  author    = {Ram{\'o}n B{\'e}jar and
               Reiner H{\"a}hnle and
               Felip Many{\`a}},
  title     = {A Modular Reduction of Regular Logic to Classical Logic},
  booktitle = {ISMVL},
  year      = {2001},
  pages     = {221-226},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}