David Baelde, Gopalan Nadathur
Combining Deduction Modulo and Logics of Fixed-Point Definitions
LICS, 2012.
@inproceedings{LICS-2012-BaeldeN, author = "David Baelde and Gopalan Nadathur", booktitle = "{Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2012.22", isbn = "978-1-4673-2263-8", pages = "105--114", publisher = "{IEEE Computer Society}", title = "{Combining Deduction Modulo and Logics of Fixed-Point Definitions}", year = 2012, }