Mollusc user's guide : version 1.1 /
Richards, Bradley L.
University of Edinburgh.Department of Artificial Intelligence.
Edinburgh : University of Edinburgh, Dept. of Artificial Intelligence,
c1993.
Includes bibliographical references and index.
Automatic theorem proving.