Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level.

Xiaorong Huang

Browse the full PRICAI paper archive.