An Intensional Logic of (Multi-Arity) Set Abstractions.

Weidong Chen, David Scott Warren

Browse the full ICLP paper archive.