TY  - RPRT
TI  - Typed Answer Set Programming and Inverse Lambda Algorithms
AU  - Chitta Baral
AU  - Juraj Dzifcak
AU  - Marcos A. Gonzalez
AU  - Aaron Gottesman
PY  - 2012
UR  - https://arxiv.org/abs/1210.5670
ID  - 1210.5670
ER  -