ВАСЮКОВ, В. Об интерпретации секвенций в ситусах. Логические исследования, v. 4, p. 196-221, 1 июл. 1997.