Weidong Chen, David Scott Warren
An Intensional Logic of (Multi-Arity) Set Abstractions
ICLP, 1991.
@inproceedings{ICLP-1991-ChenW,
author = "Weidong Chen and David Scott Warren",
booktitle = "{Proceedings of the Eighth International Conference on Logic Programming}",
isbn = "0-262-56058-5",
pages = "97--110",
publisher = "{MIT Press}",
title = "{An Intensional Logic of (Multi-Arity) Set Abstractions}",
year = 1991,
}