"DualGrounder: Lazy Instantiation via Clingo Multi-shot Framework."

Yuliya Lierler, Justin Robbins (2021)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics