Compiling Bottom-up and Mixed Derivations into Top-down Executable Logic Programs (1991)

by D De Schreye, B Martens, G Sablon, M Bruynooghe
Venue:Journal of Automated Reasoning