Larsen, Kim Skak, et al. “A Universal Relational Operator”. DAIMI Report Series, vol. 18, no. 297, Dec. 1989, doi:10.7146/dpb.v18i297.6691.