Operator-based approaches preserve grounding's non-monotonicity and sensitivity to fine-grained conc...
This proposition has not been edited since the history system was added.