Per Kreuger Axioms in Definitional Calculi. 196-205 1993 conf/elp/1993 ELP db/conf/elp/elp93.html#Kreuger93 http://dx.doi.org/10.1007/3-540-58025-5_57