Тимофеев,. Использование свойств операций реляционной алгебры для оптимизации вычисления выражений. Труды СПИИРАН, вып. 4, Aug. 2007, сс. 136-47, DOI:10.15622/sp.4.8.