%0 Journal Article
%T Theorem Proving and Model Building with the Calculus KE
%A JEREMY PITT, JIM CUNNINGHAM
%J Logic Journal of the IGPL
%V 4
%N 1
%@ 1367-0751
%D 1996-02-01
%I Oxford University Press
%~ DeepDyve