@article{KAMINSKI_2022,
	doi = {10.1017/s1471068422000308},
	url = {https://doi.org/10.1017\%2Fs1471068422000308},
	year = 2022,
	month = {jul},
	publisher = {Cambridge University Press ({CUP})},
	pages = {1--60},
	author = {Roland Kaminski and Torsten Schaub},
	title={{{On the Foundations of Grounding in Answer Set Programming}}},
	journal = {Theory and Practice of Logic Programming}
}

{"_id":"dPbQZpyDeDiSjw3Zp","bibbaseid":"kaminski-schaub-onthefoundationsofgroundinginanswersetprogramming-2022","author_short":["Kaminski, R.","Schaub, T."],"bibdata":{"bibtype":"article","type":"article","doi":"10.1017/s1471068422000308","url":"https://doi.org/10.1017\\%2Fs1471068422000308","year":"2022","month":"jul","publisher":"Cambridge University Press (CUP)","pages":"1–60","author":[{"firstnames":["Roland"],"propositions":[],"lastnames":["Kaminski"],"suffixes":[]},{"firstnames":["Torsten"],"propositions":[],"lastnames":["Schaub"],"suffixes":[]}],"title":"On the Foundations of Grounding in Answer Set Programming","journal":"Theory and Practice of Logic Programming","bibtex":"@article{KAMINSKI_2022,\n\tdoi = {10.1017/s1471068422000308},\n\turl = {https://doi.org/10.1017\\%2Fs1471068422000308},\n\tyear = 2022,\n\tmonth = {jul},\n\tpublisher = {Cambridge University Press ({CUP})},\n\tpages = {1--60},\n\tauthor = {Roland Kaminski and Torsten Schaub},\n\ttitle={{{On the Foundations of Grounding in Answer Set Programming}}},\n\tjournal = {Theory and Practice of Logic Programming}\n}\n\n","author_short":["Kaminski, R.","Schaub, T."],"key":"KAMINSKI_2022","id":"KAMINSKI_2022","bibbaseid":"kaminski-schaub-onthefoundationsofgroundinginanswersetprogramming-2022","role":"author","urls":{"Paper":"https://doi.org/10.1017\\%2Fs1471068422000308"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/network/files/WHTzEF4iNkBsbixuA","dataSources":["EQkpjiJorzbSFGLvW"],"keywords":[],"search_terms":["foundations","grounding","answer","set","programming","kaminski","schaub"],"title":"On the Foundations of Grounding in Answer Set Programming","year":2022}