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

Weidong Chen David Scott Warren An Intensional Logic of (Multi-Arity) Set Abstractions. 97-110 1991 ICLP db/conf/iclp/iclp91.html#ChenW91