Chitta Baral, Juraj Dzifcak, Marcos Alvarez Gonzalez, Aaron Gottesman. Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them. TPLP, 12(4-5):775-791, 2012. [doi]
@article{BaralDGG12, title = {Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them}, author = {Chitta Baral and Juraj Dzifcak and Marcos Alvarez Gonzalez and Aaron Gottesman}, year = {2012}, doi = {10.1017/S1471068412000282}, url = {http://dx.doi.org/10.1017/S1471068412000282}, researchr = {https://researchr.org/publication/BaralDGG12}, cites = {0}, citedby = {0}, journal = {TPLP}, volume = {12}, number = {4-5}, pages = {775-791}, }