Reasoning from hypotheses in *-continuous action lattices
Stepan L. Kuznetsov, Tikhon Pshenitsyn, Stanislav O. Speranski

Эта публикация цитируется в следующих статьяx:

1. С. Л. Кузнецов, “Алгоритмическая сложность теорий с итерацией Клини”, УМН, 81:1(487) (2026), 137–204