Johan Wittocx Maarten Mariën Marc Denecker Grounding with Bounds. 572-577 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#WittocxMD08