DBLP Record 'conf/tapd/AlferesP98'

BibTeX

@inproceedings{DBLP:conf/tapd/AlferesP98,
  author    = {Jos{\'e} J{\'u}lio Alferes and
               Lu\'{\i}s Moniz Pereira},
  title     = {Tabling Abduction},
  booktitle = {TAPD},
  year      = {1998},
  pages     = {75-82},
  ee        = {ftp://ftp.inria.fr/INRIA/Projects/Atoll/TAPD98/moniz.ps.gz},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}