On the representation and querying of sets of possible worlds (1991)

by S Abiteboul, P Kanellakis, G Grahne
Venue:TCS, 78(1):159 – 187