Для цитирования:

Мутилин В.С., Мандрыкин М.У. Интерполяция формул с кванторами в CSIsat на основе инстанцирования. Труды Института системного программирования РАН. 2012;22.

For citation:

Mutilin V., Mandrykin M. Instantiation-Based Interpolation for Quantified Formulae in CSIsat. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2012;22. (In Russ.)