Proving Ground Completeness of Resolution by Proof Planning (1997)

by Manfred Kerber , Arthur Christian Sehn
Citations:3 - 1 self