Cite
APA Citation
WEINZIERL, A., TAUPE, R., & FRIEDRICH, G. (2020). advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More. Theory and practice of logic programming, 20(5), 609–624. http://access.bl.uk/ark:/81055/vdc_100113089060.0x000021