%0 Journal Article
%T Proving the Decidability of the PDLxPDL Product Logic
%A L. Aszalos
%A P. Balbiani
%J Studia Universitatis Babes-Bolyai : Series Informatica
%D 2009
%I Babes-Bolyai University, Cluj-Napoca
%U http://www.cs.ubbcluj.ro/~studia-i/2009-1/01-Aszalos.pdf