DBLP BibTeX Record 'conf/ecai/BesnardHR88'

@inproceedings{DBLP:conf/ecai/BesnardHR88,
  author    = {Philippe Besnard and
               Jean Houdebine and
               Raymond Rolland},
  title     = {A Formula Circumscriptively both Valid and Unprovable},
  booktitle = {ECAI},
  year      = {1988},
  pages     = {516-518},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}