The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL. - Chitta Baral; Marcos Alvarez Gonzalez; Aaron Gottesman (Correct Reasoning, 2012)

Typed Answer Set Programming and Inverse Lambda Algorithms - Chitta Baral; Juraj Dzifcak; Marcos Alvarez Gonzalez; Aaron Gottesman (CoRR, 2012)

Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them. - Chitta Baral; Juraj Dzifcak; Marcos Alvarez Gonzalez; Aaron Gottesman (Theory Pract. Log. Program., 2012)