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

This publication is cited in the following articles:

1. S. L. Kuznetsov, “Algoritmicheskaya slozhnost teorii s iteratsiei Klini”, UMN, 81:1(487) (2026), 137–204