Automated theorem proving. Unpublished lecture notes (1999)

by Frank Pfenning