Selective Bachtracking for Logic Programs

Luís Moniz Pereira, António Porto. Selective Bachtracking for Logic Programs. In Wolfgang Bibel, Robert A. Kowalski, editors, 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings. Volume 87 of Lecture Notes in Computer Science, pages 306-317, Springer, 1980.

@inproceedings{PereiraP80,
  title = {Selective Bachtracking for Logic Programs},
  author = {Luís Moniz Pereira and António Porto},
  year = {1980},
  tags = {logic programming, logic},
  researchr = {https://researchr.org/publication/PereiraP80},
  cites = {0},
  citedby = {0},
  pages = {306-317},
  booktitle = {5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings},
  editor = {Wolfgang Bibel and Robert A. Kowalski},
  volume = {87},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-10009-1},
}