Meta-reasoning: An Incremental Compilation Approach.

Abdul Sattar, Randy Goebel

Browse the full ICDE paper archive.