TY  - RPRT
TI  - Combining Deduction Modulo and Logics of Fixed-Point Definitions
AU  - David Baelde
AU  - Gopalan Nadathur
PY  - 2012
UR  - https://arxiv.org/abs/1204.6236
ID  - 1204.6236
ER  -