1. Alternating-time temporal logic;Alur,1997
2. Alternating-time temporal logic;Alur;J. ACM,2002
3. Refinement modal logic;Bozzelli;Inf. Comput.,2014
4. Refinement quantified logics of knowledge and belief for multiple agents;Hales,2012
5. Alternating refinement relations;Alur,1998