Samitov, R. K. On the complexity of linear deductions in resolution theory. (Russian) Zbl 0535.03005 Veroyatn. Metody Kibern. 19, 106-112 (1983). Reviewer: C.Fenske MSC: 03B35 03F20 68T15 03D15 PDFBibTeX XMLCite \textit{R. K. Samitov}, Veroyatn. Metody Kibern. 19, 106--112 (1983; Zbl 0535.03005) Full Text: EuDML
Valiev, M. K. On axiomatization of process logic. (English) Zbl 0528.03014 Logics of programs and their applications, Proc. Symp., Poznan 1980, Lect. Notes Comput. Sci. 148, 304-313 (1983). MSC: 03B60 68Q65 03B25 03D15 68Q60 PDFBibTeX XML
Lolli, Gabriele Complessita delle teorie. (Italian) Zbl 0525.03030 Atti degli incontri di logica matematica, Siena/Italia 1982, 159-182 (1983). MSC: 03D15 03F20 03B25 68Q25 PDFBibTeX XML