1. (100%) Reasoning About Set Constraints Applied to Tractable Inference in Intuitionistic Logic - Intuitionistic Logic,Thomas Drakengren,Peter Jonsson
tractability result for constructing a new tractable fragment of intuitionistic logic. Furthermore, we prove
(ps) - 31-mar-2009

2. (100%) Reasoning About Set Constraints Applied to Tractable Inference in Intuitionistic Logic - Intuitionistic Logic; Thomas Drakengren; Peter Jonsson
tractability result for constructing a new tractable fragment of intuitionistic logic. Furthermore, we prove
(application/postscript) - 28-jul-2009