Compiling bottom-up and mixed derivations into topTransformation of Logic Programs 83 down executable logic programs (1991)

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