Conference Proceedings

Lazy model expansion by incremental grounding

B De Cat, M Denecker, P Stuckey

Technical Communications of the 28th International Conference on Logic Programming (ICLP�12) | Published : 2012

Citation metrics