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. Journal of Automated Reasoning, 7(3):337-358, 1991.

Authors

Danny De Schreye

This author has not been identified. It may be one of the following persons: Look up 'Danny De Schreye' in Google

Bern Martens

This author has not been identified. Look up 'Bern Martens' in Google

Gunther Sablon

This author has not been identified. Look up 'Gunther Sablon' in Google

Maurice Bruynooghe

This author has not been identified. It may be one of the following persons: Look up 'Maurice Bruynooghe' in Google