Giovanni Conforti Damiano Macedonio Vladimiro Sassone Bigraphical Logics for XML. 392-399 2005 conf/sebd/2005 SEBD db/conf/sebd/sebd2005.html#ConfortiMS05