anthem

swMATH30423MaRDI QIDQ42137FDOQ42137

Author name not available (Why is that?)

Cited In (3)

• Verifying Tight Logic Programs with anthem and vampire
• Modular Answer Set Programming as a Formal Specification Language
• Verifying strong equivalence of programs in the input language of \textsc{gringo}

This page was built for software: anthem