Proving Ground Completeness of Resolution by Proof Planning (1997)

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