David Baxter Blake Shepard Nick Siegel Benjamin Gottesman David Schneider Interactive Natural Language Explanations of Cyc Inferences. 10-20 2005 conf/exact/2005 ExaCt db/conf/exact/exact2005.html#BaxterSSGS05