Khaled Bsaïes
A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties
PEPM, 1992.
@inproceedings{PEPM-1992-Bsaies,
author = "Khaled Bsaïes",
booktitle = "{Proceedings of the Second Workshop on Partial Evaluation and Semantics-Based Program Manipulation (TR YALEU/DCS/RR-909)}",
pages = "108--115",
publisher = "{Yale University}",
title = "{A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties}",
year = 1992,
}