Structures for Abstract Rewriting Marc AiguierDiane Bahrami OriginalPaper 25 January 2007 Pages: 303 - 351
A Decision Procedure for Linear “Big O” Equations Jeremy AvigadKevin Donnelly OriginalPaper 17 March 2007 Pages: 353 - 373