Automated Theorem Proving (2004)

by Frank Pfenning
Venue:Carnegie Mellon University