FO(FD): Extending classical logic with rule-based fixpoint definitions

arXiv (2010) - Comments
arxiv: 1007.3819 issn: 2331-8422 doi: 10.1017/s1471068410000293

Hou Ping, Broes De Cat, Marc Denecker