@INPROCEEDINGS{arec:iter98,
  author = {Areces, C. and Becher, V.},
  title = {Iterable {AGM} Functions},
  booktitle = {Proceedings of BR'98. Belief Revision Workshop},
  year = {1998},
  address = {Trento, Italy},
}