Deduction over Mixed-Level Logic Representations.

Michael Hess

Browse the full ICTAI paper archive.