M. Schaefer, “RAC-Drawability is ∃ℝ-complete and Related Results”, JGAA, vol. 27, no. 9, pp. 803–841, Nov. 2023.