The CLAM proof planner : user manual and programmer manual (version 1.1, May 1989) /
Van Harmelen, Frank.
University of Edinburgh.Department of Artificial Intelligence.
Edinburgh : Department of Artificial Intelligence, University of Edinburgh,
c1989.