lpeq

swMATH33087MaRDI QIDQ44796FDOQ44796

Author name not available (Why is that?)

Described by source

• Logic Programming and Nonmonotonic Reasoning

Cited In (4)

• Inductive equivalence in clausal logic and nonmonotonic logic programming
• Title not available (Why is that?)
• Logic Programming and Nonmonotonic Reasoning
• Modularity Aspects of Disjunctive Stable Models

This page was built for software: lpeq