Understanding LEO-II's proofs.

Nik Sultana, Christoph Benzmller

Browse the full LPAR paper archive.