Leo-ii - a cooperative automatic theorem prover for classical higher-order logic (system description (2008)

by Christoph Benzmüller, Lawrence Paulson, Frank Theiss, Arnaud Fietzke
Venue:Automated 115 volume 5195 of Lecture Notes in Computer Science