@article(arias2018constraint,
 author       = {Joaquin Arias and Manuel Carro and Elmer Salazar and Kyle Marple and Gopal Gupta},
 year         = {2018},
 title        = {Constraint answer set programming without grounding},
 journal      = {TPLP},
 volume       = {18},
 number       = {3-4},
 pages        = {337--354},
 doi          = {10.1017/S1471068418000285},
)
@inproceedings(eiter2005data,
 author       = {Thomas Eiter},
 year         = {2005},
 title        = {Data integration and answer set programming},
 booktitle    = {LPNMR},
 organization = {Springer},
 pages        = {13--25},
 doi          = {10.1007/11546207_2},
)
@article(eiter1997disjunctive,
 author       = {Thomas Eiter and Georg Gottlob and Heikki Mannila},
 year         = {1997},
 title        = {Disjunctive datalog},
 journal      = {ACM TODS},
 volume       = {22},
 number       = {3},
 pages        = {364--418},
 doi          = {10.1145/261124.261126},
)
@inproceedings(GebserLMPRS18,
 author       = {Martin Gebser and Nicola Leone and Marco Maratea and Simona Perri and Francesco Ricca and Torsten Schaub},
 year         = {2018},
 title        = {Evaluation Techniques and Systems for Answer Set Programming: a Survey},
 booktitle    = {{IJCAI}},
 publisher    = {ijcai.org},
 pages        = {5450--5456},
 doi          = {10.24963/ijcai.2018/769},
)
@book(KahlGelfond,
 author       = {M. Gelfond and Y. Kahl},
 year         = {2014},
 title        = {Knowledge representation, reasoning, and the design of intelligent agents: The answer-set programming approach},
 publisher    = {Cambridge Univ. Press},
 doi          = {10.1017/cbo9781139342124.007},
)
@article(hoare1969axiomatic,
 author       = {Charles Antony Richard Hoare},
 year         = {1969},
 title        = {An axiomatic basis for computer programming},
 journal      = {Communications of the ACM},
 volume       = {12},
 number       = {10},
 pages        = {576--580},
 doi          = {10.1145/363235.363259},
)
@book(lloyd2012foundations,
 author       = {John W Lloyd},
 year         = {1987},
 title        = {Foundations of logic programming},
 publisher    = {Springer},
 doi          = {10.1016/0933-3657(89)90008-0},
)
@inproceedings(manna1971towards,
 author       = {Z. Manna and R. J. Waldinger},
 year         = {1971},
 title        = {Towards automatic program synthesis},
 booktitle    = {Symp. on Semantics of Algo. Lang.},
 organization = {Springer},
 pages        = {270--310},
 doi          = {10.1007/BFb0059702},
)
@article(marple2017computing,
 author       = {K. Marple and E. Salazar and G. Gupta},
 year         = {2017},
 title        = {Computing stable models of normal logic programs without grounding},
 journal      = {arXiv:1709.00501},
)
@inproceedings(marple2012goal,
 author       = {Kyle Marple and Ajay Bansal and Richard Min and Gopal Gupta},
 year         = {2012},
 title        = {Goal-directed execution of answer set programs},
 booktitle    = {Proc. 14$^{th}$~ PPDP Symposium},
 organization = {ACM},
 pages        = {35--44},
 doi          = {10.1145/2370776.2370782},
)
@article(marple2014dynamic,
 author       = {Kyle Marple and Gopal Gupta},
 year         = {2014},
 title        = {Dynamic consistency checking in goal-directed answer set programming},
 journal      = {TPLP},
 volume       = {14},
 number       = {4-5},
 pages        = {415--427},
 doi          = {10.1017/S1471068414000118},
)
@inproceedings(simon2006coinductive,
 author       = {Luke Simon and Ajay Mallya and Ajay Bansal and Gopal Gupta},
 year         = {2006},
 title        = {Coinductive logic programming},
 booktitle    = {International Conference on Logic Programming},
 organization = {Springer},
 pages        = {330--345},
 doi          = {10.1007/11799573_2},
)
@article(solar2006combinatorial,
 author       = {Solar-Lezama, Armando and Liviu Tancau and Rastislav Bodik and Sanjit Seshia and Vijay Saraswat},
 year         = {2006},
 title        = {Combinatorial sketching for finite programs},
 journal      = {ACM Sigplan Notices},
 volume       = {41},
 number       = {11},
 pages        = {404--415},
 doi          = {10.1145/1168918.1168907},
)
@inproceedings(srivastava2010program,
 author       = {S. Srivastava and S. Gulwani and J. S. Foster},
 year         = {2010},
 title        = {From program verification to program synthesis},
 booktitle    = {ACM Sigplan Notices},
 volume       = {45(1):313-326},
 doi          = {10.1145/1707801.1706337},
)