Marta Cialdea Mayer Carla Limongelli Andrea Orlandini Valentina Poggioni Pdk: The System and Its Language. 307-311 2005 conf/tableaux/2005 TABLEAUX http://dx.doi.org/10.1007/11554554_23 db/conf/tableaux/tableaux2005.html#MayerLOP05