Matthias Jantzen and Holger Petersen.
Cancellation in context-free languages: Enrichment by reduction.
Theoretical Computer Science, 127(1):149-170, 1994.
@article{Jantzen+94, Author = {Jantzen, Matthias and Petersen, Holger}, Journal = TCS, Number = 1, Pages = {149--170}, Title = {Cancellation in Context-Free Languages: Enrichment by Reduction.}, Volume = 127, Year = 1994 }