Negative Ternary Set-Sharing.

Eric D. Trias, Jorge A. Navas, Elena S. Ackley, Stephanie Forrest, Manuel V. Hermenegildo

Browse the full ICLP paper archive.