Rewriting of rules containing set terms in a logic language (LDL (1988)

by Giancarlo Succi, Carl Uhrik Shmueli, O Tsur, S, C Zaniolo
Venue:in Proceedings of 7th ACM Principles of Database Systems