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]
No references recorded for this publication.
No citations of this publication recorded.