Propositional Dynamic Logic with Recursive Programs
2007 ◽
Vol 73
(1-2)
◽
pp. 51-69
◽
1987 ◽
pp. 323-329
◽
1992 ◽
Vol 38
(1)
◽
pp. 85-100
◽