Keyword:rule systems

Publications
From Parametric Trace Slicing to Rule Systems Giles Reger and David Rydeheard EasyChair Preprint 521