DMCA

Termination of Grounding is Not Preserved by Strongly Equivalent Transformations

by Yuliya Lierler , Vladimir Lifschitz