Fages' Theorem for Programs with Nested Expressions.

Esra Erdem, Vladimir Lifschitz

Browse the full ICLP paper archive.