Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck

Viktor Besin, Markus Hecher, Stefan Woltran