1. Chlebus B., On decidability of propositional algorithmic logic Inst.of Informatics Reports. University of Warsaw, 1979
2. Malcev A.I., Algorithms and recursive functions, Moscow 1965.
3. Mirkowska G., On the propositional algorithmic logic, Proc. of MFCS'79. Olomouc, Lecture Notes on Computer Science, Springer Verlag 74.
4. Mirkowska G., Complete axiomatization of algorithmic properties of program schemes with bounded nondeterministic interpretations Proc. 12 th Ann. ACM Symp. on theory of Computing, Los Angeles 1980.
5. Pratt V.,Salwicki A., personal communication