Serge Abiteboul Paris C. Kanellakis Gösta Grahne On the Representation and Querying of Sets of Possible Worlds. 158-187 1991 78 Theor. Comput. Sci. 1 db/journals/tcs/tcs78.html#AbiteboulKG91