Declarative Specification and Interpretation of Rule-Based Systems.

Dietmar Seipel, Joachim Baumeister

Browse the full FlAIRS paper archive.