Victor W. Marek and Jeffrey B. Remmel: Normal Form Theorem for Logic Programs with Cardinality Constraints. (2005)
conf/dagstuhl/MarekR05
Normal Form Theorem for Logic Programs with Cardinality Constraints.
2
Nonmonotonic Reasoning, Answer Set Programming and Constraints
Nonmonotonic Reasoning, Answer Set Programming and Constraints
2005
2005
provenance information for RDF data of dblp record 'conf/dagstuhl/MarekR05'
2018-08-23T15:56:25+0200