David Baxter, Blake Shepard, Nick Siegel, Benjamin Gottesman, David Schneider: Interactive Natural Language Explanations of Cyc Inferences. ExaCt 2005: 10-20