HinkelmannNR88'

BibTeX

@inproceedings{DBLP:conf/ki/HinkelmannNR88,
  author    = {Knut Hinkelmann and
               Klaus N{\"o}kel and
               Robert Rehbold},
  title     = {SASLOG: Lazy Evaluation Meets Backtracking},
  booktitle = {GWAI},
  year      = {1988},
  pages     = {246-254},
  crossref  = {DBLP:conf/ki/1988},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ki/1988,
  editor    = {Wolfgang Hoeppner},
  title     = {K{\"u}nstliche Intelligenz, GWAI-88, 12. Jahrestagung,
               Eringerfeld, 19.-23. September 1988, Proceedings},
  booktitle = {GWAI},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {181},
  year      = {1988},
  isbn      = {3-540-50293-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}