The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Publication Details:
Book: Automated Reasoning: Essays in Honor of Woody Bledsoe
Editors:Boyer, R.S.
Book#: 0-7923-1409-3
Publisher:Kluwer Academic Publishers, the Netherlands
Pages: 149-166

Chapter in Edited Book #3

Title:the Use of Proof Plans for Normalization
Date: 1991
Keywords:theorem proving, proof plans, decision procedures

[Search These Pages] [DAI Home Page] [Comment]