ANTON

swMATH36084MaRDI QIDQ51786FDOQ51786

Author name not available (Why is that?)

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