Issues of non-determinism in Prolog and the Committed Choice Non-Deterministic logic languages /
Trehan, Rajiv.
Wilk, P. F.
University of Edinburgh.Artificial Intelligence Applications Institute.
Edinburgh : Artificial Intelligence Applications Institute, University of Edinburgh,
1987.