LEO-II and Satallax on the Sledgehammer test bench. (2013)

by Nik Sultana, Jasmin Christian Blanchette, Lawrence C Paulson
Venue:J. Applied Logic,