
@article {ar:RabeLammichPopescu2014,
	title = {A shallow embedding of HyperCTL},
	journal = {Archive of Formal Proofs},
	year = {2014},
	author = {M. N. Rabe and P. Lammich and A. Popescu}
}
