Theorem Proving and Model Building with the Calculus KE - Pitt,JV; Cunningham,RJ (Journal of the ICPL, 1996)