DualGrounder

swMATH40700MaRDI QIDQ5974607

No author found.

Described by source

• DualGrounder: lazy instantiation via clingo multi-shot framework

This page was built for software: DualGrounder