Natural Language Based Inference Procedures Applied to Schubert's Steamroller. - Robert Givan; David A. McAllester; Sameer Shalaby (AAAI, 1991)