Bigraphical Logics for XML (2005)

by Giovanni Conforti , Damiano Macedonio, Vladimiro Sassone