Daniel Elenius Grit Denker Mark-Oliver Stehr A Semantic Web Reasoner for Rules, Equations and Constraints. 135-149 2008 RR http://dx.doi.org/10.1007/978-3-540-88737-9_11 conf/rr/2008 db/conf/rr/rr2008.html#EleniusDS08