A New Method for Consequence Finding and Compilation in Restricted Languages.

Alvaro del Val

Browse the full AAAI paper archive.