Giovanni Conforti Damiano Macedonio Vladimiro Sassone Static BiLog: a Unifying Language for Spatial Structures. 91-110 2007 80 Fundam. Inform. 1-3 http://iospress.metapress.com/content/p68513m44n5g5607/ db/journals/fuin/fuin80.html#ConfortiMS07