AND-parallelism with intelligent backtracking for annotated logic programs (1985)

by P Dembinski, J Maluszynski
Venue:In: Proceedings of the 2nd IEEE Symposium on Logic Programming. IEEE Computer Society