Trusted Theorem Proving: A Case Study in SLD-Resolution.

Konstantine Arkoudas, Olin Shivers

Browse the full ISoLA paper archive.