Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer: A Dynamic Preference Logic for reasoning about Agent Programming. CoRR abs/1911.05907 (2019)