@article{baral2012typed,
  title={Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them},
  author={Baral, Chitta and Dzifcak, Juraj and Gonzalez, Marcos A and Gottesman, Aaron},
  journal={Theory and Practice of Logic Programming},
  volume={12},
  number={4-5},
  pages={775--791},
  year={2012},
  publisher={Cambridge University Press}
}

{"_id":"hJF6KqyrTxmHKnf6u","bibbaseid":"baral-dzifcak-gonzalez-gottesman-typedanswersetprogramminglambdacalculustheoriesandcorrectnessofinverselambdaalgorithmswithrespecttothem-2012","authorIDs":[],"author_short":["Baral, C.","Dzifcak, J.","Gonzalez, M. A","Gottesman, A."],"bibdata":{"bibtype":"article","type":"article","title":"Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them","author":[{"propositions":[],"lastnames":["Baral"],"firstnames":["Chitta"],"suffixes":[]},{"propositions":[],"lastnames":["Dzifcak"],"firstnames":["Juraj"],"suffixes":[]},{"propositions":[],"lastnames":["Gonzalez"],"firstnames":["Marcos","A"],"suffixes":[]},{"propositions":[],"lastnames":["Gottesman"],"firstnames":["Aaron"],"suffixes":[]}],"journal":"Theory and Practice of Logic Programming","volume":"12","number":"4-5","pages":"775–791","year":"2012","publisher":"Cambridge University Press","bibtex":"@article{baral2012typed,\n title={Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them},\n author={Baral, Chitta and Dzifcak, Juraj and Gonzalez, Marcos A and Gottesman, Aaron},\n journal={Theory and Practice of Logic Programming},\n volume={12},\n number={4-5},\n pages={775--791},\n year={2012},\n publisher={Cambridge University Press}\n}\n\n","author_short":["Baral, C.","Dzifcak, J.","Gonzalez, M. A","Gottesman, A."],"key":"baral2012typed","id":"baral2012typed","bibbaseid":"baral-dzifcak-gonzalez-gottesman-typedanswersetprogramminglambdacalculustheoriesandcorrectnessofinverselambdaalgorithmswithrespecttothem-2012","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"https://cogintlab-asu.github.io/cogint_bib.bib","creationDate":"2019-10-05T00:43:10.047Z","downloads":0,"keywords":[],"search_terms":["typed","answer","set","programming","lambda","calculus","theories","correctness","inverse","lambda","algorithms","respect","baral","dzifcak","gonzalez","gottesman"],"title":"Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them","year":2012,"dataSources":["qFKdMbFtP3HEjG9PQ"]}