Generic automatic proof tools /
Paulson, Lawrence C.
University of Cambridge.Computer Laboratory.
Cambridge : University of Cambridge, Computer Laboratory,
1996.
Includes bibliographical references and index.
Automatic theorem proving.