| P97-1044 | handled via the standard method of | proof reduction | . This method involves defining |
| E97-1044 | handled via the standard method of | proof reduction | . This method involves defining |
| C90-2030 | defined , using the method of | proof reduction | , which is equivalent to the |
| P97-1044 | proof -- the normal form of P. 7 | Proof Reduction | and Normalisation The above normalisation |
| E97-1044 | proof -- the normal form of P. 7 | Proof Reduction | and Normalisation The above normalisation |
