ANTON

MaRDI QIDQ51786swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-642-04238-6_55

Cited in

(2)

• Methods and methodologies for developing answer-set programs -- project description
• Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs

This page was built for software: ANTON