An introduction to inductive definitions, Handbook of Mathematical Logic, Studies in Logic and the Foundations of Mathematics 90, pp.739-201, 1977. ,
Proofs and Algorithms: An Introduction to Logic and Computability, 2011. ,
DOI : 10.1007/978-0-85729-121-9
On the expressive power of schemes, Information and Computation, pp.1231-1245, 2011. ,
A natural extension of natural deduction, The Journal of Symbolic Logic, pp.1284-1300, 1984. ,