Panoptes: An Exploration Tool for Formal Proofs. - William M. Farmer; Orlin G. Grigorov (UITP@TPHOLs, 2008)