Barry O'Sullivan Gregory M. Provan Approximate Compilation for Embedded Model-based Reasoning. 2006 conf/aaai/2006 AAAI db/conf/aaai/aaai2006.html#OSullivanP06 http://www.aaai.org/Library/AAAI/2006/aaai06-141.php 894-899