The ACL2 Sedan Theorem Proving System.

Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios, Daron Vroon

Browse the full TACAS paper archive.