1. (100%) Reasoning About Set Constraints Applied to Tractable Inference in Intuitionistic Logic - Intuitionistic Logic,Thomas Drakengren,Peter Jonsson
, terminological logics and spatial reasoning. In this paper, we identify a new class of set constraints ...Automated reasoning about sets has received a considerable amount of interest in the literature
(ps) - 31-mar-2009