circ2dlp

swMATH33091MaRDI QIDQ44800FDOQ44800

Author name not available (Why is that?)

Cited In (1)

• Implementing Prioritized Circumscription by Computing Disjunctive Stable Models

This page was built for software: circ2dlp