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.

Abstract

Abstract is missing.