DLPEQ

swMATH33088MaRDI QIDQ44797FDOQ44797

Author name not available (Why is that?)

Described by source

• Logic Programming and Nonmonotonic Reasoning

Cited In (3)

• Inductive equivalence in clausal logic and nonmonotonic logic programming
• Logic Programming and Nonmonotonic Reasoning
• Modularity Aspects of Disjunctive Stable Models

This page was built for software: DLPEQ