ToyElim
From MaRDI portal
Software:21879
No author found.
Related Items (2)
Projection and scope-determined circumscription ⋮ Abduction in Logic Programming as Second-Order Quantifier Elimination
This page was built for software: ToyElim
