Chitta Baral, Marcos Alvarez Gonzalez, Aaron Gottesman. The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL. In Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce, editors, Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Volume 7265 of Lecture Notes in Computer Science, pages 40-56, Springer, 2012. [doi]
Abstract is missing.