Полубелова, Ольга Витальевна, и Игорь Витальевич Котенко. 2012. Верификация правил фильтрации с временными характеристиками методом “проверки на модели”. Труды СПИИРАН 3 (22), 113-38. https://doi.org/10.15622/sp.22.7.