@article{ai/BogaertsVD18,
title = "Safe inductions and their applications in knowledge representation",
journal = "Artificial Intelligence",
volume = "259",
pages = "167 -- 185",
year = "2018",
issn = "0004-3702",
doi = "https://doi.org/10.1016/j.artint.2018.03.008",
url = "http://www.sciencedirect.com/science/article/pii/S000437021830122X",
author = "Bart Bogaerts and Joost Vennekens and Marc Denecker",
keywords = "Approximation fixpoint theory, Lattice operator, Inductive definitions, Induction process, Construction, Well-founded semantics, Groundedness, Logic programming, Autoepistemic logic, Abstract argumentation"
}