DLPEQ

swMATH33088MaRDI QIDQ44797FDOQ44797

Author name not available (Why is that?)

Official website: http://www.tcs.hut.fi/Software/lpeq/dlpeq.shtml

Described by source

• Logic Programming and Nonmonotonic Reasoning

Cited In (5)

• Inductive equivalence in clausal logic and nonmonotonic logic programming
• Modularity aspects of disjunctive stable models
• Logic Programming and Nonmonotonic Reasoning
• GNT
• lpeq

This page was built for software: DLPEQ