Approach-independent structuring concepts for rule-based systems (2003)

by Hans-Jorg Kreowski, Sabine Kuske
Venue:Proc. 16th Int. Workshop on Algebraic Development Techniques (WADT 2002), volume 2755 of Lecture Notes in Computer Science