Bringing AGM to computer science - Wassermann, Renata; Ribeiro, Márcio Moretto (South American Journal of Logic, 2015)