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}, }