LEO-II and Satallax on the Sledgehammer test bench
From MaRDI portal
Publication:1948289
DOI10.1016/j.jal.2012.12.002zbMath1262.68161WikidataQ57382576 ScholiaQ57382576MaRDI QIDQ1948289
Nik Sultana, Jasmin Christian Blanchette, Lawrence Charles Paulson
Publication date: 2 May 2013
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2012.12.002
Related Items
Uses Software