DMCA

The reflective Milawa theorem prover is sound (2012)

by Magnus O. Myreen , Jared Davis
Citations:5 - 2 self