DBLP Record 'conf/ecai/AlferesDP94'

BibTeX

@inproceedings{DBLP:conf/ecai/AlferesDP94,
  author    = {Jos{\'e} J{\'u}lio Alferes and
               Carlos Viegas Dam{\'a}sio and
               Lu\'{\i}s Moniz Pereira},
  title     = {Top-Down Query Evaluation for Well-Founded Semantics with
               Explicit Negation},
  booktitle = {ECAI},
  year      = {1994},
  pages     = {140-144},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}