Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker. Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming. Fundamenta Informaticae, 79(1-2):187-208, 2007. [doi]
@article{VennekensWMD07,
title = {Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming},
author = {Joost Vennekens and Johan Wittocx and Maarten Mariën and Marc Denecker},
year = {2007},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=79&issue=1&spage=187},
tags = {semantics, logic programming, programming, logic},
researchr = {https://researchr.org/publication/VennekensWMD07},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {79},
number = {1-2},
pages = {187-208},
}