Marcos Cavalcanti Solving Air-Traffic Problems with "Possible Worlds". 144-156 1993 conf/ijcai/1993em Executable Modal and Temporal Logics db/conf/ijcai/ijcai1993em.html#Cavalcanti93