@article{salvati10:_member_probl_for_non_linear_acgs, Author = {Sylvain Salvati}, Journal = {Journal of Logic Language and Information}, Number = {2}, Pages = {163-183}, Title = {On the membership problem for non-linear ACGs}, Volume = {19}, Year = 2010}