@article(Bell20091,
 author       = {Jordan Bell and Brett Stevens},
 year         = {2009},
 title        = {A survey of known results and research areas for n-queens},
 journal      = {Discrete Mathematics},
 volume       = {309},
 number       = {1},
 pages        = {1 -- 31},
 doi          = {10.1016/0012-365X(75)90079-5},
)
@article(NQueen,
 author       = {A. Bruen and R. Dixon},
 year         = {1975},
 title        = {The n-queens problem},
 journal      = {Discrete Mathematics},
 volume       = {12},
 number       = {4},
 pages        = {393 -- 395},
 doi          = {10.1016/0012-365X(75)90079-5},
)
@manual(choco,
 author       = {Xavier Lorca Charles Prud'homme, Jean-Guillaume Fages},
 year         = {2014},
 title        = {Choco3 Documentation},
 organization = {TASC, INRIA Rennes, LINA CNRS UMR 6241, COSLING S.A.S.},
 url          = {http://www.choco-solver.org},
)
@inproceedings(CherifIR11,
 author       = {Asma Cherif and Abdessamad Imine and Micha{\"e}l Rusinowitch},
 year         = {2011},
 title        = {Optimistic access control for distributed collaborative editors},
 booktitle    = {SAC},
 pages        = {861--868},
 doi          = {10.1145/1982185.1982374},
)
@article(CherifIR14,
 author       = {Asma Cherif and Abdessamad Imine and Micha{\"{e}}l Rusinowitch},
 year         = {2014},
 title        = {Practical access control management for distributed collaborative editors},
 journal      = {Pervasive and Mobile Computing},
 volume       = {15},
 pages        = {62--86},
 doi          = {10.1016/j.pmcj.2013.09.004},
)
@inproceedings(Ellis89,
 author       = {Clarence A. Ellis and Simon J. Gibbs},
 year         = {1989},
 title        = {{Concurrency Control in Groupware Systems}},
 booktitle    = {SIGMOD Conference},
 volume       = {18},
 pages        = {399--407},
 doi          = {10.1145/66926.66963},
)
@inproceedings(Ferrie04,
 author       = {Jean Ferri{\'e} and Nicolas Vidot and Mich{\`e}le Cart},
 year         = {2004},
 title        = {Concurrent Undo Operations in Collaborative Environments Using Operational Transformation},
 booktitle    = {CoopIS/DOA/ODBASE (1)},
 pages        = {155--173},
 doi          = {10.1007/978-3-540-30468-5\_12},
)
@inproceedings(ImineMOR03,
 author       = {Abdessamad Imine and Pascal Molli and G{\'e}rald Oster and Micha{\"e}l Rusinowitch},
 year         = {2003},
 title        = {Proving Correctness of Transformation Functions Functions in Real-Time Groupware},
 booktitle    = {ECSCW},
 pages        = {277--293},
 doi          = {10.1007/978-94-010-0068-0\_15},
)
@article(Imi06,
 author       = {Abdessamad Imine and Michael Rusinowitch and G\'erald Oster and Pascal Molli},
 year         = {2006},
 title        = {Formal Design and Verification of Operational Transformation Algorithms for Copies Convergence},
 journal      = {Theoretical Computer Science},
 volume       = {351},
 number       = {2},
 pages        = {167--183},
 doi          = {10.1016/j.tcs.2005.09.066},
)
@article(LiLi10,
 author       = {Du Li and Rui Li},
 year         = {2010},
 title        = {An Admissibility-Based Operational Transformation Framework for Collaborative Editing Systems},
 journal      = {Computer Supported Cooperative Work (CSCW)},
 volume       = {19},
 number       = {1},
 pages        = {1--43},
 doi          = {10.1007/s10606-009-9103-1},
)
@article(Lus03,
 author       = {Brad Lushman and Gordon V. Cormack},
 year         = {2003},
 title        = {Proof of correctness of Ressel's adOPTed algorithm},
 journal      = {Information Processing Letters},
 volume       = {86},
 number       = {3},
 pages        = {303--310},
 doi          = {10.1016/S0020-0190(03)00227-8},
)
@inproceedings(Oster06,
 author       = {G{\'e}rald Oster and Pascal Urso and Pascal Molli and Abdessamad Imine},
 year         = {2006},
 title        = {Data Consistency for P2P Collaborative Editing},
 booktitle    = {Proceedings of the 2006 20th Anniversary Conference on Computer Supported Cooperative Work},
 series       = {CSCW '06},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {259--268},
 doi          = {10.1145/1180875.1180916},
)
@article(Atul94,
 author       = {Atul Prakash and Michael J. Knister},
 year         = {1994},
 title        = {A framework for undoing actions in collaborative systems},
 journal      = {ACM Trans. Comput.-Hum. Interact.},
 volume       = {1},
 number       = {4},
 pages        = {295--330},
 doi          = {10.1145/198425.198427},
)
@inproceedings(Ressel99,
 author       = {Matthias Ressel and Rul Gunzenh\"{a}user},
 year         = {1999},
 title        = {Reducing the problems of group undo},
 booktitle    = {GROUP '99: Proceedings of the international ACM SIGGROUP conference on Supporting group work},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {131--139},
 doi          = {10.1145/320297.320312},
)
@inproceedings(Ressel.ea:96,
 author       = {Matthias Ressel and Nitsche-Ruhland, Doris and Rul Gunzenhauser},
 year         = {1996},
 title        = {{An Integrating, Transformation-Oriented Approach to Concurrency Control and Undo in Group Editors}},
 booktitle    = {{ACM} CSCW'96},
 address      = {Boston, USA},
 pages        = {288--297},
 doi          = {10.1145/240080.240305},
)
@inproceedings(BinShao10,
 author       = {Bin Shao and Du Li and Ning Gu},
 year         = {2010},
 title        = {An algorithm for selective undo of any operation in collaborative applications},
 booktitle    = {GROUP},
 pages        = {131--140},
 doi          = {10.1145/1880071.1880093},
)
@inproceedings(suleiman97,
 author       = {Maher Suleiman and Mich{\`e}le Cart and Jean Ferri{\'e}},
 year         = {1997},
 title        = {{Serialization of concurrent operations in a distributed collaborative environment}},
 booktitle    = {ACM GROUP'97},
 pages        = {435--445},
 doi          = {10.1145/266838.267369},
)
@inproceedings(Sun00,
 author       = {Chengzheng Sun},
 year         = {2000},
 title        = {Undo any operation at any time in group editors},
 booktitle    = {CSCW '00: Proceedings of the 2000 ACM conference on Computer supported cooperative work},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {191--200},
 doi          = {10.1145/358916.358990},
)
@article(Sun02,
 author       = {Chengzheng Sun},
 year         = {2002},
 title        = {Undo as concurrent inverse in group editors},
 journal      = {ACM Trans. Comput.-Hum. Interact.},
 volume       = {9},
 number       = {4},
 pages        = {309--361},
 doi          = {10.1145/586081.586085},
)
@inproceedings(Sun98,
 author       = {Chengzheng Sun and Clarence Ellis},
 year         = {1998},
 title        = {Operational transformation in real-time group editors: issues, algorithms, and achievements},
 booktitle    = {ACM CSCW'98},
 pages        = {59--68},
 doi          = {10.1145/289444.289469},
)
@article(Sun.ea:98,
 author       = {Chengzheng Sun and Xiaohua Jia and Yanchun Zhang and Yun Yang and David Chen},
 year         = {1998},
 title        = {{Achieving Convergence, Causality-preservation and Intention-preservation in real-time Cooperative Editing Systems}},
 journal      = {ACM Trans. Comput.-Hum. Interact.},
 volume       = {5},
 number       = {1},
 pages        = {63--108},
 doi          = {10.1145/274444.274447},
)
@article(Sun06,
 author       = {Chengzheng Sun and Steven Xia and David Sun and David Chen and Haifeng Shen and Wentong Cai},
 year         = {2006},
 title        = {Transparent adaptation of single-user applications for multi-user real-time collaboration},
 journal      = {ACM Trans. Comput.-Hum. Interact.},
 volume       = {13},
 number       = {4},
 pages        = {531--582},
 doi          = {10.1145/1188816.1188821},
)
@article(SunS09,
 author       = {David Sun and Chengzheng Sun},
 year         = {2009},
 title        = {Context-Based Operational Transformation in Distributed Collaborative Editing Systems},
 journal      = {IEEE Trans. Parallel Distrib. Syst.},
 volume       = {20},
 number       = {10},
 pages        = {1454--1470},
 doi          = {10.1109/TPDS.2008.240},
)
@misc(CSP,
 author       = {Edward Tsang},
 year         = {1993},
 title        = {Foundations of Constraint Satisfaction},
)
@inproceedings(WEISS:2008,
 author       = {Stéphane Weiss and Pascal Urso and Pascal Molli},
 year         = {2009},
 title        = {An Undo Framework for P2P Collaborative Editing},
 editor       = {Elisa Bertino and JamesB.D. Joshi},
 booktitle    = {Collaborative Computing: Networking, Applications and Worksharing},
 series       = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering},
 volume       = {10},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {529--544},
 doi          = {10.1007/978-3-642-03354-4\_40},
)