Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: decision procedures
CB3
1991 Chapter in Edited Book
Bundy,A
the Use of Proof Plans for Normalization