Maarten Mariën, Johan Wittocx, Marc Denecker. Integrating Inductive Definitions in SAT. In Nachum Dershowitz, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings. Volume 4790 of Lecture Notes in Computer Science, pages 378-392, Springer, 2007. [doi]
@inproceedings{MarienWD07,
title = {Integrating Inductive Definitions in SAT},
author = {Maarten Mariën and Johan Wittocx and Marc Denecker},
year = {2007},
doi = {10.1007/978-3-540-75560-9_28},
url = {http://dx.doi.org/10.1007/978-3-540-75560-9_28},
researchr = {https://researchr.org/publication/MarienWD07},
cites = {0},
citedby = {0},
pages = {378-392},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings},
editor = {Nachum Dershowitz and Andrei Voronkov},
volume = {4790},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-75558-6},
}