Mantis H. M. Cheng, Maarten H. van Emden, Paul A. Strooper. Complete Sets of Frontiers in Logic-Based Program Transformation. In META. pages 283-297, 1988.
@inproceedings{ChengES88, title = {Complete Sets of Frontiers in Logic-Based Program Transformation}, author = {Mantis H. M. Cheng and Maarten H. van Emden and Paul A. Strooper}, year = {1988}, tags = {rule-based, completeness, meta programming, logic programming, logic, Meta-Environment, transformation, program transformation}, researchr = {https://researchr.org/publication/ChengES88}, cites = {0}, citedby = {0}, pages = {283-297}, booktitle = {META}, }