D Basin, C Caleiro, J Ramos and L. Vigano
Journal of Logic and Computation 19 ( 6 ): 1245 - 1279 , 2009