Knut Hinkelmann, Helge Hintze. State-Saving Transformations for Efficient Bottom-Up Evaluation of Logic Programs and Rule-Based Systems. Annals of Mathematics and Artificial Intelligence, 20(1-4):335-356, 1997.
@article{HinkelmannH97,
title = {State-Saving Transformations for Efficient Bottom-Up Evaluation of Logic Programs and Rule-Based Systems},
author = {Knut Hinkelmann and Helge Hintze},
year = {1997},
tags = {rule-based, rules, logic programming, transformation system, logic, transformation, program transformation},
researchr = {https://researchr.org/publication/HinkelmannH97},
cites = {0},
citedby = {0},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = {20},
number = {1-4},
pages = {335-356},
}