Transforming between Propositions and Features: Bridging the Gap. - Daniel T. Halstead; Kenneth D. Forbus (AAAI, 2005)

Some Effects of a Reduced Relational Vocabulary on the Whodunit Problem. - Daniel T. Halstead; Kenneth D. Forbus (IJCAI, 2007)