The Reflective Milawa Theorem Prover is Sound (Down to the Machine Code that Runs it)
Davis, Jared, Myreen, Magnus O.Volume:
55
Language:
english
Journal:
Journal of Automated Reasoning
DOI:
10.1007/s10817-015-9324-6
Date:
August, 2015
File:
PDF, 2.35 MB
english, 2015