Some Results on Propositional Dynamic Logic with Fixed Points. - Igor Rents; Nikolay V. Shilov 002 (LFCS, 1997)