Edinburgh Research Explorer

The Use of Proof Plans for Normalization

Research output: Chapter in Book/Report/Conference proceedingChapter

Standard

The Use of Proof Plans for Normalization. / Bundy, Alan.

Essays in Honour of Woody Bledsoe. ed. / R. S. Boyer. Kluwer Academic Publishers, 1991.

Research output: Chapter in Book/Report/Conference proceedingChapter

Harvard

Bundy, A 1991, The Use of Proof Plans for Normalization. in RS Boyer (ed.), Essays in Honour of Woody Bledsoe. Kluwer Academic Publishers.

APA

Bundy, A. (1991). The Use of Proof Plans for Normalization. In R. S. Boyer (Ed.), Essays in Honour of Woody Bledsoe Kluwer Academic Publishers.

Vancouver

Bundy A. The Use of Proof Plans for Normalization. In Boyer RS, editor, Essays in Honour of Woody Bledsoe. Kluwer Academic Publishers. 1991

Author

Bundy, Alan. / The Use of Proof Plans for Normalization. Essays in Honour of Woody Bledsoe. editor / R. S. Boyer. Kluwer Academic Publishers, 1991.