LEO-II - a cooperative automatic theorem prover for higher-order logic (0)

by Christoph Benzmüller, Frank Theiss, Larry Paulson, Arnaud Fietzke
Venue:Automated Reasoning, 4th International Joint Conference, IJCAR 2008