Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: deduction
PP8
1991 Paper in Conference Proceedings
Basin,D
; Traverso,P;
Giunchiglia,F
Automatic Meta-Theory Creation and System Extension
RP607
1992 Research Paper
Bundy,A
'Semantic Procedure' is an Oxymoron