Ralph Butler, Rasiah Loganantharaj, Robert Olsen. Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine. In Ewing L. Lusk, Ross A. Overbeek, editors, 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings. Volume 310 of Lecture Notes in Computer Science, pages 323-332, Springer, 1988.
@inproceedings{ButlerLO88,
title = {Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine},
author = {Ralph Butler and Rasiah Loganantharaj and Robert Olsen},
year = {1988},
tags = {Prolog, abstract machine, transformation, program transformation},
researchr = {https://researchr.org/publication/ButlerLO88},
cites = {0},
citedby = {0},
pages = {323-332},
booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings},
editor = {Ewing L. Lusk and Ross A. Overbeek},
volume = {310},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-19343-X},
}