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