References

[1]

ISO (1995): Prolog, Part 1: General Core, International Standard ISO/IEC 13211-1, First Edition, 1995-06-01
https://www.iso.org/standard/21413.html

[2]
Wong, E., & Youssefi, K. (1976): Decomposition—a strategy for query processing, Proceedings of the 1976 ACM SIGMOD International Conference on Management of Data, Washington, D.C., June 2-4, 1976
https://people.eecs.berkeley.edu/~wong/wong_pubs/wong45.pdf
[3] Mackworth, A. K., & Freuder, E. C. (1993). The complexity of constraint satisfaction revisited. Articial Intelligence, 59, 57-62.
https://www.cs.ubc.ca/~mack/Publications/AIP93.pdf