DMCA

Higher-Order Automated Theorem Proving (1998)

by Michael Kohlhase
Citations:7 - 2 self