An elementary proof of the completeness of PDL

N.K. Ratha, A.K. Jain, et al.

Workshop CAMP 2000

Marshall W. Bern, Howard J. Karloff, et al.

Theoretical Computer Science

Sonia Cafieri, Jon Lee, et al.

Journal of Global Optimization

Kaoutar El Maghraoui, Gokul Kandiraju, et al.

WOSP/SIPEW 2010