Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: proof search
PP867
1994 Paper in Conference Proceedings
Negere,S;
Smaill,AD
Guiding Proof Search in Logical Frameworks with Rippling