publication venue for Model checking temporal properties of reaction systems 2015 EXPLOITING DATA-DISTRIBUTION PATTERNS IN MODELING TUPLE SELECTIVITIES IN A DATABASE 1993
