Linear interpretations by counting patterns
Ursula Martin
Book Title
Rewriting Techniques and Applications
Organisation
Springer Berlin/Heidelberg
Pages
421–433
Year
1993
Ursula Martin