A. Bouhoula and M. Rusinowitch, Implicit induction in conditional theories, Journal of Automated Reasoning, vol.31, issue.2, pp.189-235, 1995.
DOI : 10.1007/BF00881856
URL : https://hal.archives-ouvertes.fr/inria-00074627

A. H. Davis, C. Sun, and J. Lu, Generalizing operational transformation to the standard general markup language, Proceedings of the 2002 ACM conference on Computer supported cooperative work , CSCW '02, pp.58-67, 2002.
DOI : 10.1145/587078.587088

C. A. Ellis and S. J. Gibbs, Concurrency control in groupware systems, SIGMOD Conference, pp.399-407, 1989.

A. Imine, P. Molli, G. Oster, and M. Rusinowitch, Development of transformation functions assisted by a theorem prover, in 'Fourth International Workshop on Collaborative Editing, 2002.

P. Molli, H. Skaf-molli, G. Oster, and S. Jourdain, Sams: Synchronous, asynchronous, multisynchronous environments, The Seventh International Conference on CSCW in Design', Rio de Janeiro, 2002.
DOI : 10.1109/cscwd.2002.1047653
URL : https://hal.archives-ouvertes.fr/inria-00107571

C. R. Palmer and G. V. Cormack, Operation transforms for a distributed shared spreadsheet, Proceedings of the 1998 ACM conference on Computer supported cooperative work , CSCW '98, pp.69-78, 1998.
DOI : 10.1145/289444.289474

M. Ressel, D. Nitsche-ruhland, and R. Gunzenhauser, An integrating, transformationoriented approach to concurrency control and undo in group editors, Proceedings of the ACM Conference on Computer Supported Cooperative Work (CSCW'96, pp.288-297, 1996.

M. Suleiman, M. Cart, and J. Ferrié, Serialization of concurrent operations in a distributed collaborative environment, Proceedings of the international ACM SIGGROUP conference on Supporting group work : the integration challenge the integration challenge, GROUP '97, pp.435-445, 1997.
DOI : 10.1145/266838.267369

M. Suleiman, M. Cart, and J. Ferrié, Concurrent operations in a distributed and mobile collaborative environment, Proceedings 14th International Conference on Data Engineering, pp.36-45, 1998.
DOI : 10.1109/ICDE.1998.655755

C. Sun, Undo as concurrent inverse in group editors, ACM Transactions on Computer-Human Interaction, vol.9, issue.4, pp.309-361, 2002.
DOI : 10.1145/586081.586085

C. Sun and D. Chen, Consistency maintenance in real-time collaborative graphics editing systems, ACM Transactions on Computer-Human Interaction, vol.9, issue.1, pp.1-41, 2002.
DOI : 10.1145/505151.505152

C. Sun, X. Jia, Y. Zhang, Y. Yang, and D. Chen, Achieving convergence, causality preservation, and intention preservation in real-time cooperative editing systems, ACM Transactions on Computer-Human Interaction, vol.5, issue.1, pp.63-108, 1998.
DOI : 10.1145/274444.274447

N. Vidot, M. Cart, J. Ferrié, and M. Suleiman, Copies convergence in a distributed real-time collaborative environment, Proceedings of the 2000 ACM conference on Computer supported cooperative work , CSCW '00, 2000.
DOI : 10.1145/358916.358988
URL : https://hal.archives-ouvertes.fr/hal-00684563