Инд. авторы:	Rents I.V., Shilov N.V.
Заглавие:	Some Results on Propositional Dynamic Logic with Fixed Points
Библ. ссылка:	Rents I.V., Shilov N.V. Some Results on Propositional Dynamic Logic with Fixed Points // 4th Int. Symp. on Log. Found. of Comp. Sci. LFCS-97: Springer, 1997, 1997. - P.323-332.
Издано:	Springer, 1997
Физ. характеристика:	с.323-332