Abstract rewriting (1993)

by D Bert, R Echahed, M Østvold
Venue:In Proc. Third International Workshop on Static Analysis