DBLP Record 'conf/aisc/LynchS98'

BibTeX

@inproceedings{DBLP:conf/aisc/LynchS98,
  author    = {Christopher Lynch and
               Christelle Scharff},
  title     = {Basic Completion with E-cycle Simplification},
  booktitle = {AISC},
  year      = {1998},
  pages     = {209-221},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/1476/14760209.htm},
  crossref  = {DBLP:conf/aisc/1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aisc/1998,
  editor    = {Jacques Calmet and
               Jan A. Plaza},
  title     = {Artificial Intelligence and Symbolic Computation, International
               Conference AISC'98, Plattsburgh, New York, USA, September
               16-18, 1998, Proceedings},
  booktitle = {AISC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1476},
  year      = {1998},
  isbn      = {3-540-64960-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}