Theorem Proving and Model Building with the Calculus KE

Jeremy Pitt, Jim Cunningham. Theorem Proving and Model Building with the Calculus KE. Logic Journal of the IGPL, 4(1):129-150, 1996. [doi]

Abstract

Abstract is missing.