Tutorial guide to the CLAM proof planner /
Madden, Peter.
University of Edinburgh.Department of Artificial Intelligence.
Edinburgh : University of Edinburgh, Dept. of Artificial Intelligence,
1992.
In spiral binder.
Includes bibliographical references.
CLAM (Computer program)