Bulgakov K., Kablukov I., Tumurov E., Shelekhov V. Optimizing transformations for operations on lists and trees in the predicate programming system // # 9, 2017