Hideaki Nakayama
Program Transformation under the Principle of Proof as Program
ICLP, 1991.
@inproceedings{ISLP-1991-Nakayama,
author = "Hideaki Nakayama",
booktitle = "{Proceedings of the Eighth International Symposium on Logic Programming}",
isbn = "0-262-69147-7",
pages = "626--640",
publisher = "{MIT Press}",
title = "{Program Transformation under the Principle of Proof as Program}",
year = 1991,
}