Modular Answer Set Programming as a Formal Specification Language

Open in new window