Bulgakov K., Kablukov I., Tumurov E., Shelekhov V. Optimizing transformations for operations on lists and trees in the predicate programming system // System Informatics. — 2017. — # 9. — P. 63-92
