## Chitta Baral, Juraj Dzifcak, Marcos Alvarez Gonzalez, Aaron Gottesman

*Typed answer set programming λ calculus theories and correctness of inverse λ algorithms with respect to them*

ICLP, 2012.

@article{ICLP-J-2012-BaralDGG, author = "Chitta Baral and Juraj Dzifcak and Marcos Alvarez Gonzalez and Aaron Gottesman", doi = "10.1017/S1471068412000282", journal = "{Theory and Practice of Logic Programming}", number = "4-5", pages = "775--791", title = "{Typed answer set programming λ calculus theories and correctness of inverse λ algorithms with respect to them}", volume = 12, year = 2012, }