Philippe Balbiani Dimiter Vakarelov Iteration-free PDL with Intersection: a Complete Axiomatization. 173-194 2001 45 Fundam. Inform. 3 db/journals/fuin/fuin45.html#BalbianiV01