Declarative Specification and Interpretation of Rule-Based Systems.

Dietmar Seipel Joachim Baumeister Declarative Specification and Interpretation of Rule-Based Systems. 359-364 2008 FLAIRS Conference conf/flairs/2008 db/conf/flairs/flairs2008.html#SeipelB08