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
| Volume: | 7
| Pages: | 149-166
| |
Chapter in Edited Book #3 | |
Title: | the Use of Proof Plans for Normalization |
---|---|
Authors: | Bundy,A |
Date: | 1991 |
Presented: | |
Keywords: | theorem proving, proof plans, decision procedures |