Geoff Sutcliffe Diego Belfiore Semantic Derivation Verification. 641-646 2005 conf/flairs/2005 FLAIRS Conference db/conf/flairs/flairs2005.html#SutcliffeB05 http://www.aaai.org/Library/FLAIRS/2005/flairs05-105.php