DLPEQ

MaRDI QIDQ44797swMATHFDO

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
• GNT
• lpeq
• Logic Programming and Nonmonotonic Reasoning

This page was built for software: DLPEQ