Compiling Bottom-up and Mixed Derivations into Top-down Executable Logic Programs.

Danny De Schreye Bern Martens Gunther Sablon Maurice Bruynooghe Compiling Bottom-up and Mixed Derivations into Top-down Executable Logic Programs. 337-358 1991 7 J. Autom. Reasoning 3 db/journals/jar/jar7.html#SchreyeMSB91 http://dx.doi.org/10.1007/BF00249018