Computing Shortest Resolution Proofs.

Carlos Menca, Joo Marques-Silva

Browse the full EPIA paper archive.