On the representation and querying of sets of possible worlds 论文

1991Theoretical Computer Science引用 251
Logic, Reasoning, and KnowledgeData Management and AlgorithmsAdvanced Database Systems and Queries