T. Ågotnes, V. Goranko, and W. Jamroga, Alternating-time temporal logics with irrevocable strategies, Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge , TARK '07, pp.15-24, 2007.
DOI : 10.1145/1324249.1324256

T. Ågotnes, P. Balbiani, H. P. Van-ditmarsch, and P. Seban, Group announcement logic, Journal of Applied Logic, vol.8, issue.1, pp.62-81, 2010.
DOI : 10.1016/j.jal.2008.12.002

C. Alchourrón, P. Gärdenfors, and D. Makinson, Abstract, The Journal of Symbolic Logic, vol.48, issue.02, pp.510-530, 1985.
DOI : 10.1080/00048408412341331

N. Alechina, Logic and Agent Programming Languages, WoLLIC. Lecture notes in computer science, pp.1-10, 2013.
DOI : 10.1007/978-3-642-39992-3_1

R. Alur, T. A. Henzinger, and O. Kupferman, Alternating-time temporal logic, Proceedings 38th Annual Symposium on Foundations of Computer Science, pp.672-713, 2002.
DOI : 10.1109/SFCS.1997.646098

G. Aucher, A Combined System for Update Logic and Belief Revision, PRIMA. Lecture notes in computer science, pp.1-17, 2004.
DOI : 10.1007/978-3-540-32128-6_1
URL : https://hal.archives-ouvertes.fr/inria-00537233

G. Aucher, Internal models and private multi-agent belief revision, Proceedings of the 7th International Joint Conference AAMAS, pp.721-727, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00556084

G. Aucher, Perspectives on belief and change, 2008.
URL : https://hal.archives-ouvertes.fr/tel-00556089

R. J. Aumann, Agreeing to disagree. The Annals of Statistics, pp.1236-1239, 1976.

P. Balbiani, A. Baltag, H. P. Van-ditmarsch, A. Herzig, T. Hoshi et al., ???KNOWABLE??? AS ???KNOWN AFTER AN ANNOUNCEMENT???, The Review of Symbolic Logic, vol.4, issue.03, pp.305-334, 2008.
DOI : 10.1007/978-1-4020-5587-4_6

P. Balbiani, A. Herzig, and N. Troquard, ALTERNATIVE AXIOMATICS AND COMPLEXITY OF DELIBERATIVE STIT THEORIES, Journal of Philosophical Logic, vol.27, issue.1, pp.387-406, 2008.
DOI : 10.1007/s10992-007-9078-7

P. Balbiani, A. Herzig, and N. &troquard, Dynamic logic of propositional assignments: A wellbehaved variant of PDL, Logic in computer science (LICS), pp.143-152, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01240721

P. Balbiani, H. P. Van-ditmarsch, A. Herzig, and T. De-lima, Some truths are best left unsaid, Advances in modal logic, pp.36-54, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00866705

A. Baltag and L. S. Moss, Logics for Epistemic Programs, Synthese, vol.139, issue.2, pp.165-224, 2004.
DOI : 10.1023/B:SYNT.0000024912.56773.5e

A. Baltag and S. Smets, Group belief dynamics under iterated revision, Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge, TARK '09, pp.41-50, 2009.
DOI : 10.1145/1562814.1562824

A. Baltag, N. Gierasimczuk, and S. Smets, Belief revision as a truth-tracking process, Proceedings of hte 13th Conference on Theoretical Aspects of Rationality and Knowledge, TARK XIII, pp.187-190, 2011.
DOI : 10.1145/2000378.2000400

A. Baltag, B. Renne, and S. Smets, The logic of justified belief, explicit knowledge, and conclusive evidence, Annals of Pure and Applied Logic, vol.165, issue.1, pp.49-81, 2014.
DOI : 10.1016/j.apal.2013.07.005

F. Belardinelli, Reasoning about Knowledge and Strategies: Epistemic Strategy Logic, Electronic Proceedings in Theoretical Computer Science, vol.146, pp.27-33, 2014.
DOI : 10.4204/EPTCS.146.4

N. Belnap, M. Perloff, and M. Xu, Facing the future: Agents and choices in our indeterminist world, 2001.

P. Blackburn, M. De-rijke, and Y. Venema, Modal logic. Cambridge tracts in theoretical computer science, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00100502

E. Bonzon, M. C. Lagasquie-schiex, J. Lang, and B. Zanuttini, Boolean games revisited, ECAI. Frontiers in artificial intelligence and applications, pp.265-269, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00197022

T. Brihaye, C. Da, A. Lopes, F. Laroussinie, and N. Markey, ATL with Strategy Contexts and Bounded Memory, Proceedings of LFSC'09, pp.92-106, 2009.
DOI : 10.1007/3-540-59042-0_57

J. Broersen and A. Herzig, Using STIT Theory to Talk About Strategies, Modeling strategic reasoning, texts in logic and games
DOI : 10.1007/978-3-662-48540-8_5

J. Broersen, A. Herzig, and N. Troquard, Embedding Alternating-time Temporal Logic in Strategic Logic of Agency, Journal of Logic and Computation, vol.16, issue.5, pp.559-578, 2006.
DOI : 10.1093/logcom/exl025

J. Broersen, A. Herzig, and N. Troquard, What groups do, can do, and know they can do: an analysis in normal modal logics, Journal of Applied Non-Classical Logics, vol.19, issue.3, pp.261-289, 2009.
DOI : 10.3166/jancl.19.261-290

N. Bulling and V. Goranko, How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract), Electronic Proceedings in Theoretical Computer Science, vol.112, 2013.
DOI : 10.4204/EPTCS.112.8

N. Bulling, W. Jamroga, and J. Dix, Reasoning about temporal properties of rational play, Annals of Mathematics and Artificial Intelligence, vol.156, issue.1, pp.1-4, 2008.
DOI : 10.1007/s10472-009-9110-4

C. Chareton, J. Brunel, and D. Chemouil, Towards an Updatable Strategy Logic, Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, pp.91-98, 2013.
DOI : 10.4204/EPTCS.112.14
URL : https://hal.archives-ouvertes.fr/hal-00796962

B. Chellas, Modal logic: An introduction, 1980.
DOI : 10.1017/CBO9780511621192

H. H. Clark and C. Marshall, Definite reference and mutual knowledge Elements of discourse understanding, 1981.

P. R. Cohen and H. J. Levesque, Intention is choice with commitment, Artificial Intelligence, vol.42, issue.2-3, pp.2-3, 1990.
DOI : 10.1016/0004-3702(90)90055-5

P. R. Cohen and H. J. Levesque, Persistence, intentions, and commitment. Intentions in communication, pp.33-69, 1990.

S. Doutre, A. Herzig, and L. Perrussel, A dynamic logic framework for abstract argumentation, Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning, 2014.

D. Elgesem, The modal logic of agency, Nordic Journal of Philosophical Logic, vol.2, issue.2, pp.1-46, 1997.

R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning about knowledge, 1995.

L. Fariñas-del-cerro, A. Herzig, and E. I. Su, Combining equilibrium logic and dynamic logic. Logic programming and nonmonotonic reasoning (LPNMR), LNAI, vol.8148, pp.304-316, 2013.

T. French and H. P. Van-ditmarsch, Undecidability for arbitrary public announcement logic, Advances in modal logic, pp.23-42, 2008.

T. French, W. Van-der-hoek, P. Iliev, and B. P. Kooi, Succinctness of epistemic languages, IJCAI Proceedings-International Joint Conference on Artificial Intelligence, pp.881-886, 2011.

D. M. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev, Many-dimensional modal logics: Theory and applications, Studies in logic and the foundations of mathematics, 2003.

B. Gaudou, A. Herzig, and D. Longin, Grounding and the expression of belief, Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06), pp.221-229, 2007.

M. Gelfond and V. Lifschitz, Action languages, Electronic Transactions on Artificial Intelligence, vol.2, pp.193-210, 1998.

J. Gerbrandy and W. Groeneveld, Reasoning about information change, Journal of Logic, Language and Information, vol.6, issue.2, pp.147-196, 1997.
DOI : 10.1023/A:1008222603071

P. Gochet and P. Gribomont, Epistemic logic, Handbook of the history and philosophy of logic, pp.463-502, 2003.
DOI : 10.1016/S1874-5857(06)80028-2

V. Goranko, Coalition games and alternating temporal logics, TARK'01: Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge, pp.259-272, 2001.

V. Goranko and G. Van-drimmelen, Complete axiomatization and decidability of Alternating-time temporal logic, Theoretical Computer Science, vol.353, issue.1-3, pp.1-3, 2006.
DOI : 10.1016/j.tcs.2005.07.043

R. Hakli, Group beliefs and the distinction between belief and acceptance, Cognitive Systems Research, vol.7, issue.2-3, pp.286-297, 2006.
DOI : 10.1016/j.cogsys.2005.11.013

J. Hales, E. Tay, and T. French, A composable language for action models Advances in modal logic, 2014.

J. Y. Halpern and R. A. Shore, Reasoning about common knowledge with infinitely many agents, Information and Computation, vol.191, issue.1, pp.1-40, 2004.
DOI : 10.1016/j.ic.2004.01.003

J. Y. Halpern and M. Y. Vardi, Model Checking vs. Theorem Proving: A Manifesto, pp.325-334, 1991.
DOI : 10.1016/B978-0-12-450010-5.50015-3

J. U. Hansen, A Hybrid Public Announcement Logic with Distributed Knowledge, Electronic Notes in Theoretical Computer Science, vol.273, pp.33-50, 2011.
DOI : 10.1016/j.entcs.2011.06.011

D. Harel, Dynamic logic, Handbook of philosophical logic, pp.497-604, 1984.

D. Harel, D. Kozen, and J. Tiuryn, Dynamic logic, 2000.

P. Harrenstein, W. Van-der-hoek, J. J. Meyer, and C. Witteveen, Boolean games, Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge, pp.1-287, 2001.
URL : https://hal.archives-ouvertes.fr/hal-01501680

A. Herzig, Belief change operations: A short history of nearly everything, told in dynamic logic of propositional assignments, Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning, 2014.

A. Herzig and E. Lorini, A Dynamic Logic of Agency I: STIT, Capabilities and Powers, Journal of Logic, Language and Information, vol.75, issue.1-2, pp.89-121, 2010.
DOI : 10.1007/s10849-009-9105-x

A. Herzig and F. Schwarzentruber, Properties of logics of individual and group agency, Advances in modal logic (AiML), pp.133-149, 2008.

A. Herzig and N. Troquard, Knowing how to play, Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems , AAMAS '06, pp.209-216, 2006.
DOI : 10.1145/1160633.1160666

A. Herzig, E. Lorini, J. F. Hübner, and L. Vercouter, A logic of trust and reputation, Logic Journal of IGPL, vol.18, issue.1, pp.214-244, 2010.
DOI : 10.1093/jigpal/jzp077
URL : https://hal.archives-ouvertes.fr/hal-00405595

A. Herzig, E. Lorini, F. Moisan, and N. Troquard, A dynamic logic of normative systems, International Joint Conference on Artificial Intelligence (IJCAI), IJCAI/AAAI, pp.228-233, 2011.

A. Herzig, E. Lorini, and N. Troquard, Action theories, Handbook of formal philosophy, 2014.

A. Herzig, E. Lorini, and D. Walther, Alternating-time temporal logic with explicit actions, pp.2013-228, 2013.

A. Herzig, V. Menezes, L. Nunes-de-barros, and R. Wassermann, On the revision of planning tasks, European Conference on Artificial Intelligence (ECAI, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01399881

A. Herzig, P. Parra, P. Schwarzentruber, and F. , Belief Merging in Dynamic Logic of Propositional Assignments, International Symposium on Foundations of Information and Knowledge Systems (FoIKS) (FolKS), 2014.
DOI : 10.1007/978-3-319-04939-7_19
URL : https://hal.archives-ouvertes.fr/hal-01146747

J. F. Horty, Agency and deontic logic, 2001.
DOI : 10.1093/0195134613.001.0001

U. Hustadt, C. Dixon, R. A. Schmidt, M. Fisher, J. J. Meyer et al., Reasoning about agents in the KARO framework, Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001, pp.206-213, 2001.
DOI : 10.1109/TIME.2001.930719

W. Jamroga and T. Ågotnes, Constructive knowledge: what agents can achieve under imperfect information, Journal of Applied Non-Classical Logics, vol.75, issue.1, pp.423-475, 2007.
DOI : 10.3166/jancl.17.423-475

W. Jamroga and W. Van-der-hoek, Agents that know how to play, Fundamenta Informaticae, vol.63, pp.2-3, 2004.

W. Jamroga, W. Van-der-hoek, and M. Wooldridge, Intentions and Strategies in Game-Like Scenarios, EPIA. Lecture notes in computer science, pp.512-523, 2005.
DOI : 10.1007/11595014_51

B. Kooi, Expressivity and completeness for public update logics via reduction axioms, Journal of Applied Non-Classical Logics, vol.1, issue.2, pp.231-253, 2007.
DOI : 10.1017/CBO9780511569852

G. Lakemeyer and H. J. Levesque, A semantic characterization of a useful fragment of the situation calculus with knowledge, Artificial Intelligence, vol.175, issue.1, pp.142-164, 2011.
DOI : 10.1016/j.artint.2010.04.005

J. Lee, V. Lifschitz, and F. Yang, Action language BC: Preliminary report, Proceedings of the Twenty-Third International Joint Conference on IJCAI. IJCAI/AAAI, 2013.

W. Lenzen, Recent work in epistemic logic, 1978.

W. Lenzen, On the semantics and pragmatics of epistemic attitudes, Knowledge and belief in philosophy and AI, pp.181-197, 1995.

D. K. Lewis, Convention: A philosophical study, 1969.
DOI : 10.1002/9780470693711

A. Lomuscio and F. Raimondi, Model checking knowledge, strategies, and games in multiagent systems, Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, pp.161-168, 2006.

E. Lorini, On the Epistemic Foundation for Iterated Weak Dominance: An Analysis in a Logic of Individual and Collective attitudes, Journal of Philosophical Logic, vol.147, issue.2, pp.863-904, 2013.
DOI : 10.1007/s10992-013-9297-z
URL : https://hal.archives-ouvertes.fr/hal-01130395

E. Lorini and A. Herzig, Direct and Indirect Common Belief, Collective intentionality. Studies in the philosophy of sociality, 2013.
DOI : 10.1007/978-94-007-6934-2_22

E. Lorini and F. Schwarzentruber, A Modal Logic of Epistemic Games, Games, vol.1, issue.4, pp.478-526, 2010.
DOI : 10.3390/g1040478

E. Lorini, D. Longin, B. Gaudou, and A. Herzig, The Logic of Acceptance: Grounding Institutions on Agents' Attitudes, Journal of Logic and Computation, vol.19, issue.6, pp.901-940, 2009.
DOI : 10.1093/logcom/exn103
URL : https://hal.archives-ouvertes.fr/hal-01060135

E. Lorini, D. Longin, and E. Mayor, A logical analysis of responsibility attribution: emotions, individuals and collectives, Journal of Logic and Computation, vol.24, issue.6, 2014.
DOI : 10.1093/logcom/ext072
URL : https://hal.archives-ouvertes.fr/hal-01359992

C. Lutz, Complexity and succintness of public announcement logic, Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06), pp.137-144, 2006.

J. Mccarthy and P. J. Hayes, Some Philosophical Problems from the Standpoint of Artificial Intelligence, Machine intelligence, pp.463-502, 1969.
DOI : 10.1016/B978-0-934613-03-3.50033-7

J. J. Meyer and W. Van-der-hoek, Epistemic logic for AI and computer science, 1995.
DOI : 10.1017/CBO9780511569852

J. J. Meyer, W. Van-der-hoek, and B. Van-linder, A logical approach to the dynamics of commitments, Artificial Intelligence, vol.113, issue.1-2, pp.1-40, 1999.
DOI : 10.1016/S0004-3702(99)00061-2

F. Mogavero, A. Murano, and M. Y. Vardi, Reasoning about strategies, Proceedings of FSTTCS'10, pp.133-144, 2010.

R. C. Moore, A formal theory of knowledge and action, Formal theories of the commonsense world, pp.319-358, 1985.

O. 'hearn, P. W. Reynolds, J. C. Yang, and H. , Local reasoning about programs that alter data structures, CSL. Lecture notes in computer science, pp.1-19, 2001.

M. Pauly, A Modal Logic for Coalitional Power in Games, Journal of Logic and Computation, vol.12, issue.1, pp.149-166, 2002.
DOI : 10.1093/logcom/12.1.149

W. Penczek and A. Lomuscio, Verifying epistemic properties of multi-agent systems via bounded model checking, Proceedings of the second international joint conference on Autonomous agents and multiagent systems , AAMAS '03, pp.209-216, 2003.
DOI : 10.1145/860575.860609

I. Pörn, Action theory and social science: Some formal models, Synthese library, vol.120, 1977.
DOI : 10.1007/978-94-010-1268-3

V. Pratt, A near-optimal method for reasoning about action, Journal of Computer and System Sciences, vol.20, issue.2, pp.231-254, 1980.
DOI : 10.1016/0022-0000(80)90061-6

R. Reiter, The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression Artificial intelligence and mathematical theory of computation, pp.359-380, 1991.

R. Reiter, Knowledge in action: Logical foundations for specifying and implementing dynamical systems, 2001.

F. Roelofsen, Distributed knowledge, Journal of Applied Non-Classical Logics, vol.17, issue.2, pp.255-273, 2007.
DOI : 10.1016/S0165-4896(99)00013-X

R. Scherl and H. J. Levesque, The frame problem and knowledge producing actions, Proceedings of the Eleventh National Conference on AI (AAAI'93), pp.689-695, 1993.

R. Scherl and H. J. Levesque, Knowledge, action, and the frame problem, Artificial Intelligence, vol.144, issue.1-2, pp.1-39, 2003.
DOI : 10.1016/S0004-3702(02)00365-X

S. Schewe, ATL* Satisfiability Is 2EXPTIME-Complete, Lecture notes in computer science, vol.5126, issue.2, pp.373-385, 2008.
DOI : 10.1007/978-3-540-70583-3_31

P. Y. Schobbens, Alternating-time logic with imperfect recall, Electronic Notes in Theoretical Computer Science, vol.85, issue.2, pp.82-93, 2004.
DOI : 10.1016/S1571-0661(05)82604-0

F. Schwarzentruber, Complexity Results of STIT Fragments, Studia Logica, vol.27, issue.2, pp.1001-1045, 2012.
DOI : 10.1007/s11225-012-9445-4

K. Segerberg, Logic of Action " : Special issue of, Studia Logica, vol.51, pp.3-4, 1992.

M. Shanahan, Solving the frame problem: A mathematical investigation of the common sense law of inertia, 1997.

S. Shapiro, M. Pagnucco, Y. Lespérance, and H. J. Levesque, Iterated belief change in the situation calculus, Principles of Knowledge Report and Reasoning: Proceedings of the 7th International Conference, pp.527-538, 2000.
DOI : 10.1016/j.artint.2010.04.003

M. Thielscher, Reasoning robots?The art and science of programming robotic agents, Applied logic, vol.33, 2005.

N. Troquard and D. Walther, On Satisfiability in ATL with Strategy Contexts, Proceedings of JELIA'12, pp.398-410, 2012.
DOI : 10.1002/malq.19750210118

R. Tuomela, The importance of us: A philosophical study of basic social notions. Stanford series in philosophy, 1995.

J. Van-benthem, ???One is a lonely number???: logic and communication, Logic Colloquium'02, pp.96-129, 2002.
DOI : 10.1017/9781316755723.006

J. Van-benthem, Dynamic logic for belief revision, Journal of Applied Non-Classical Logics, vol.147, issue.11, pp.129-155, 2007.
DOI : 10.1007/BF00248150

J. Van-benthem, Reasoning about Strategies, Lecture notes in computer science, vol.5, issue.2, pp.336-347, 2013.
DOI : 10.1007/3-540-61604-7_60

W. Van-der-hoek and M. Wooldridge, Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications, Studia Logica, vol.75, issue.1, pp.125-157, 2003.
DOI : 10.1023/A:1026185103185

W. Van-der-hoek and M. Wooldridge, On the logic of cooperation and propositional control, Artificial Intelligence, vol.164, issue.1-2, pp.81-119, 2005.
DOI : 10.1016/j.artint.2005.01.003

W. Van-der-hoek, N. Troquard, and M. Wooldridge, Knowledge and control, The 10th International Conference on AAMAS, pp.719-726, 2011.

W. Van-der-hoek, D. Walther, and M. Wooldridge, On the logic of cooperation and the transfer of control, Journal of AI Research, vol.37, pp.437-477, 2010.

H. P. Van-ditmarsch, Prolegomena to Dynamic Logic for Belief Revision, Synthese, vol.147, issue.2, pp.229-275, 2005.
DOI : 10.1007/1-4020-4631-6_7

H. P. Van-ditmarsch, A. Herzig, and T. De-lima, From Situation Calculus to Dynamic Epistemic Logic, Journal of Logic and Computation, vol.21, issue.2, pp.179-204, 2011.
DOI : 10.1093/logcom/exq024
URL : https://hal.archives-ouvertes.fr/hal-00868361

H. P. Van-ditmarsch, A. Herzig, and T. De-lima, Public announcements, public assignments and the complexity of their logic, Journal of Applied Non-Classical Logics, vol.204, issue.3, pp.249-273, 2012.
DOI : 10.1080/11663081.2012.705964
URL : https://hal.archives-ouvertes.fr/hal-00868339

H. P. Van-ditmarsch, A. Herzig, E. Lorini, and F. Schwarzentruber, Listen to Me! Public Announcements to Agents That Pay Attention ??? or Not, pp.2013-228, 2013.
DOI : 10.1007/978-3-642-40948-6_8
URL : https://hal.archives-ouvertes.fr/hal-01187760

H. P. Van-ditmarsch, W. Van-der-hoek, and B. P. Kooi, Dynamic epistemic logic with assignment, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems , AAMAS '05, pp.141-148, 2005.
DOI : 10.1145/1082473.1082495

S. Vassos, G. Lakemeyer, and H. J. Levesque, First-order strong progression for local-effect basic action theories, KR, pp.662-672, 2008.

F. Voorbraak, As far as I know: Epistemic logic and uncertainty, 1993.

D. Walther, C. Lutz, F. Wolter, and M. Wooldridge, ATL Satisfiability is Indeed EXPTIME-complete, Journal of Logic and Computation, vol.16, issue.6, pp.765-787, 2006.
DOI : 10.1093/logcom/exl009

D. Walther, W. Van-der-hoek, and M. Wooldridge, Alternating-time temporal logic with explicit strategies, Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge , TARK '07, pp.269-278, 2007.
DOI : 10.1145/1324249.1324285

Y. N. Wáng and T. Ågotnes, Public announcement logic with distributed knowledge: expressivity, completeness and complexity, Synthese, vol.3, issue.2, pp.190-135, 2013.
DOI : 10.1007/s11229-012-0243-3

N. Yadav and S. Sardiña, Reasoning about Agent Programs Using ATL-Like Logics, JELIA. Lecture notes in computer science, pp.437-449, 2012.
DOI : 10.1007/s10458-004-4345-2