Gotlieb, A., and D. Marijan. “Using Global Constraints to Automate Regression Testing”. AI Magazine, vol. 38, no. 1, Mar. 2017, pp. 73-87, doi:10.1609/aimag.v38i1.2714.