Шаповалова, С. І.; Мажара, О. О. Formalization of Basic Pattern Matching Algorithms in Production Systems. EEJET 2015, 4, 22-27.