Login / Signup

Lazy Model Expansion by Incremental Grounding.

Broes De CatMarc DeneckerPeter J. Stuckey
Published in: ICLP (Technical Communications) (2012)
Keyphrases