Making Exhaustive Search Programs Deterministic, Part II (1987)

by Kazunori Ueda
Venue:In Proceedings of the Fourth International Logic Programming Conference