On the decidability of bigraphical sorting (2009)

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