Login / Signup

Weight constraints as nested expressions.

Paolo FerrarisVladimir Lifschitz
Published in: Theory Pract. Log. Program. (2005)
Keyphrases