Danny De Schreye, Bern Martens, Gunther Sablon, Maurice Bruynooghe. Compiling Bottom-up and Mixed Derivations into Top-down Executable Logic Programs. Journal of Automated Reasoning, 7(3):337-358, 1991.
@article{SchreyeMSB91,
title = {Compiling Bottom-up and Mixed Derivations into Top-down Executable Logic Programs},
author = {Danny De Schreye and Bern Martens and Gunther Sablon and Maurice Bruynooghe},
year = {1991},
tags = {logic programming, compiler, logic},
researchr = {https://researchr.org/publication/SchreyeMSB91},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {7},
number = {3},
pages = {337-358},
}