Combining Deduction Modulo and Logics of Fixed-Point Definitions.

David Baelde, Gopalan Nadathur

Browse the full LICS paper archive.