(1)
T. Georgiev, D. DETERMINISTIC SQEMA AND APPLICATION FOR PRE-CONTACT LOGIC. Ann. Sofia Univ. Fac. Math. and Inf. 2016, 103, 149-176.