DBLP Record 'conf/nmr/GelfondL88'

BibTeX

@inproceedings{DBLP:conf/nmr/GelfondL88,
  author    = {Michael Gelfond and
               Vladimir Lifschitz},
  title     = {Compiling Circumscriptive Theories into Logic Programs},
  booktitle = {NMR},
  year      = {1988},
  pages     = {74-99},
  crossref  = {DBLP:conf/nmr/1988},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/nmr/1988,
  editor    = {Michael Reinfrank and
               Johan de Kleer and
               Matthew L. Ginsberg and
               Erik Sandewall},
  title     = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau,
               FRG, June 13-15, 1988, Proceedings},
  booktitle = {NMR},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {346},
  year      = {1989},
  isbn      = {3-540-50701-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}