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