Kablukov I., Shelekhov V. Optimizing transformations in the predicate programming system // # 11, 2017
