@article{article676afebb,
title   = {Bringing AGM to computer science},
author = {Wassermann, Renata and Ribeiro, Márcio Moretto},
year = {2015},
journal   = {South American Journal of Logic}
}