Bigraphical logics for XML (2004)

by Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone