On the decidability of bigraphical sorting (2009)

by G Bacci, D Grohmann
Venue:Proc. CALCO Young Researchers Workshop, number 05/2010 in Technical Report