Тестирование продукционных систем по критерию покрытия операторовTepandi, JaakИзвестия АН Эстонии. Физика. Математика1990 / 1, с. 9-13