Compiling Knowledge-Based Programs (Abstract).

Aamod Sane, Roy H. Campbell

Browse the full PODC paper archive.