Johan Wittocx Maarten Mariën Marc Denecker Approximate Reasoning in First-Order Logic Theories. 103-112 2008 KR conf/kr/2008 db/conf/kr/kr2008.html#WittocxMD08