С. І. Шаповалова and О. О. Мажара, “Formalization of basic pattern matching algorithms in production systems”, EEJET, vol. 4, no. 3(76), pp. 22–27, Aug. 2015.