C. Castellini, E. Giunchiglia, and A. Tacchella, SAT-based planning in complex domains: Concurrency, constraints and nondeterminism, Artificial Intelligence, vol.147, issue.1-2, pp.85-117, 2003.
DOI : 10.1016/S0004-3702(02)00375-2

F. Chesani, P. Mello, M. Montali, and P. Torroni, Verification of Choreographies During Execution Using the Reactive Event Calculus, Web Services and Formal Methods, pp.55-72, 2009.
DOI : 10.1007/978-3-540-72912-9_10

N. Eén and N. Sörensson, An extensible sat-solver, Theory and applications of satisfiability testing, pp.502-518, 2004.

M. D. Ernst, T. D. Millstein, and D. S. Weld, Automatic sat-compilation of planning problems, IJCAI, 1997.

D. Fahland, Declarative versus Imperative Process Modeling Languages: The Issue of Understandability, Enterprise, Business-Process and Information Systems Modeling, 2009.
DOI : 10.1145/177492.177726

D. Fahland, Declarative versus Imperative Process Modeling Languages: The Issue of Maintainability, Business Process Management Workshops, 2010.
DOI : 10.1007/978-3-642-12186-9_45

R. E. Fikes and N. J. Nilsson, Strips: A new approach to the application of theorem proving to problem solving, Artificial Intelligence, vol.2, issue.3-4, pp.189-208, 1972.
DOI : 10.1016/0004-3702(71)90010-5

T. R. Green and M. Petre, Usability analysis of visual programming environments: a " cognitive dimensions " framework. Visual Languages & Computing, 1996.

D. Jackson, Automating first-order relational logic, In ACM SIGSOFT Software Engineering Notes. ACM, 2000.
DOI : 10.1145/355045.355063

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.8507

D. Jackson, Software Abstractions: logic, language and analysis, 2011.

D. Jackson, H. Estler, and D. Rayside, The guided improvement algorithm for exact, general-purpose, many-objective combinatorial optimization, 2009.

J. Jaffar and J. Lassez, Constraint logic programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, pp.111-119, 1987.
DOI : 10.1145/41625.41635

R. Koymans, Specifying real-time properties with metric temporal logic. Real-time systems, pp.255-299, 1990.

R. Milner, Communicating and mobile systems: the pi calculus, 1999.

M. Montali, Towards data-aware constraints in declare, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, 2013.
DOI : 10.1145/2480362.2480624

T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, pp.541-580, 1989.
DOI : 10.1109/5.24143

M. Pesic, Constraint-based workflow management systems: shifting control to users, 2008.

M. Pesic, H. Schonenberg, and W. M. Van-der-aalst, DECLARE: Full Support for Loosely-Structured Processes, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007.
DOI : 10.1109/EDOC.2007.14

M. Pesic, M. Schonenberg, N. Sidorova, and W. M. Van-der-aalst, Constraint-Based Workflow Models: Change Made Easy, On the Move to Meaningful Internet Systems, 2007.
DOI : 10.1007/978-3-540-76848-7_7

M. Pesic and W. M. Van-der-aalst, A Declarative Approach for Flexible Business Processes Management, Business Process Management Workshops, pp.169-180, 2006.
DOI : 10.1007/11837862_18

A. Rozinat, M. T. Wynn, W. M. Van-der-aalst, A. H. Ter-hofstede, and C. J. Fidge, Workflow simulation for operational decision support, Data & Knowledge Engineering, vol.68, issue.9, pp.834-850, 2009.
DOI : 10.1016/j.datak.2009.02.014

H. Schonenberg, R. Mans, N. Russell, N. Mulyar, and W. Van-der-aalst, Process Flexibility: A Survey of Contemporary Approaches, Advances in Enterprise Engineering I, pp.16-30, 2008.
DOI : 10.1007/978-3-540-68644-6_2

W. M. Van-der-aalst and M. Pesic, DecSerFlow: Towards a Truly Declarative Service Flow Language, 2006.
DOI : 10.1007/11841197_1

W. M. Van-der-aalst, M. Pesic, and H. Schonenberg, Declarative workflows: Balancing between flexibility and support, Computer Science - Research and Development, vol.66, issue.3, pp.99-113, 2009.
DOI : 10.1007/s00450-009-0057-9

W. M. Van-der-aalst, A. H. Hofstede, and M. Weske, Business Process Management: A Survey, 2003.
DOI : 10.1007/3-540-44895-0_1

W. M. Van-der-aalst, K. M. Van-hee, A. H. Ter-hofstede, N. Sidorova, H. Verbeek et al., Soundness of workflow nets: classification, decidability, and analysis, Formal Aspects of Computing, vol.179, issue.6, pp.333-363, 2011.
DOI : 10.1007/s00165-010-0161-4

B. Weber, H. A. Reijers, S. Zugal, and W. Wild, The Declarative Approach to Business Process Execution: An Empirical Test, Advanced Information Systems Engineering, pp.470-485, 2009.
DOI : 10.1145/605610.605618

M. Westergaard and F. M. Maggi, Looking into the Future, OTM. 2012
DOI : 10.1007/978-3-642-33606-5_16

S. Zugal, J. Pinggera, and B. Weber, The Impact of Testcases on the Maintainability of Declarative Process Models, Enterprise, Business-Process and Information Systems Modeling, 2011.
DOI : 10.1007/11575771_11