A comparison of committed choice non-deterministic logic languages through the Prolog Equation Solving System (PRESS) by Rajiv Trehan. Published by Artificial Intelligence Applications Institute, University of Edinburgh in 1987. Publication and catalogue information, links to buy online and reader comments.