Pattern Matching of Compressed Terms and Contexts and Polynomial Rewriting (2011)

by Manfred Schmidt-schauß
Citations:3 - 1 self