Evolution of Rule-Based Programs (0)

by R Lämmel
Venue:Journal of Logic and Algebraic Programming, Special Issue on Structural Operational Semantics, 2004