Compiling Domain Consequences.

Alexandre Papadopoulos, Barry O'Sullivan

Browse the full ICTAI paper archive.