S. Abiteboul, L. Segoufin, and V. Vianu, Static analysis of active XML systems, Trans. Database Syst, vol.34, p.44, 2009.
DOI : 10.1145/1376916.1376948
URL : http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/ASV-tods09.pdf

S. Abiteboul and V. Vianu, Collaborative data-driven workflows: think global, act local, Proc. of PODS'13, pp.91-102, 2013.
DOI : 10.1145/2463664.2463672
URL : https://hal.archives-ouvertes.fr/hal-00840306

P. Bernays and M. Schönfinkel, Zum entscheidungsproblem der mathematischen logik, Mathematische Annalen, vol.99, pp.342-372, 1928.
DOI : 10.1007/bf01459101

E. Damaggio, A. Deutsch, and V. Vianu, Artifact systems with data dependencies and arithmetic, Trans. on Database Systems, vol.37, p.22, 2012.
DOI : 10.1145/2338626.2338628

F. Daniel, P. Kucherbaev, C. Cappiello, B. Benatallah, A. et al., Quality control in crowdsourcing: A survey of quality attributes, assessment techniques, and assurance actions, ACM Computing Surveys, vol.51, p.7, 2018.

A. Deutsch, L. Sui, V. Vianu, and D. Zhou, Verification of communicating data-driven web services, Proc. of PODS'06, pp.90-99, 2006.

H. Garcia-molina, M. Joglekar, A. Marcus, A. Parameswaran, and V. Verroios, Challenges in data crowdsourcing, Trans. on Knowledge and Data Engineering, vol.28, pp.901-911, 2016.

S. Itzhaky, T. Kotek, N. Rinetzky, M. Sagiv, O. Tamir et al., On the automated verification of web applications with embedded SQL, Proc. of ICDT'17, vol.68, p.18, 2017.

A. Kittur, B. Smus, S. Khamkar, and R. Kraut, Crowdforge: Crowdsourcing complex work, Proc. of UIST'11, pp.43-52, 2011.

A. Koutsos and V. Vianu, Process-centric views of data-driven business artifacts, Journal of Computer and System Sciences, vol.86, pp.82-107, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01167033

P. Kucherbaev, F. Daniel, S. Tranquillini, and M. Marchese, Crowdsourcing processes: A survey of approaches and opportunities, IEEE Internet Computing, vol.20, pp.50-56, 2016.

A. Kulkarni, M. Can, and B. Hartmann, Collaboratively crowdsourcing workflows with turkomatic, Proc. of CSCW'12, pp.1003-1012, 2012.

G. Li, J. Wang, Y. Zheng, F. , and M. , Crowdsourced data management: A survey, Trans. on Knowledge and Data Engineering, vol.28, pp.2296-2319, 2016.

G. Little, L. Chilton, M. Goldman, and R. Miller, Turkit: tools for iterative tasks on mechanical turk, Proc. of HCOMP'09, pp.29-30, 2009.

L. Löwenheim, Uber möglichkeiten im relativkalkül, Mathematische Annalen, vol.76, pp.447-470, 1915.

M. Mortimer, On languages with two variables, Mathematical Logic Quarterly, vol.21, pp.135-140, 1975.

A. Nigam and N. Caswell, Business artifacts: An approach to operational specification, IBM Systems Journal, vol.42, pp.428-445, 2003.

T. Sturm, M. Voigt, and C. Weidenbach, Deciding first-order satisfiability when universal and existential variables are separated, Proc. of LICS '16, pp.86-95, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01389744

W. Van-der-aalst, K. Van-hee, A. Ter-hofstede, N. Sidorova, H. Verbeek et al., Soundness of workflow nets: classification, decidability, and analysis, Formal Aspects of Computing, vol.23, pp.333-363, 2011.

Q. Zheng, W. Wang, Y. Yu, M. Pan, and X. Shi, Crowdsourcing complex task automatically by workflow technology, MiPAC'16 Workshop, pp.17-30, 2016.