Egli, Uwe and
Schmitt, Stephen. 1998.
“Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis.” in
Artificial Intelligence and Symbolic Computation: Proceedings of AISC’98, edited by Jacques
Calmet and Jan
Plaza, pp. 132–144. Berlin: Springer.