Effective Modeling in Answer Set Programming modulo Theories. Gebser, M. 2022.
bibtex   
@misc{gebser_effective_2022,
	address = {Haifa, Israel},
	title = {Effective {Modeling} in {Answer} {Set} {Programming} modulo {Theories}},
	language = {en},
	author = {Gebser, Martin},
	year = {2022},
}

Downloads: 0