L.I. Kaluzhnin, a professor at Kyiv University, who taught a course on mathematical logic in the 1950-70s, made a significant advancement in the understanding of this problem and formalized a scheme of interfacing with the program.
Ο Λ.Ι.Καλουζνιν, καθηγητής στο Πανεπιστήμιο του Κίεβου, ο οποίος δίδασκε ένα μάθημα μαθηματικής λογικής την περίοδο 1950-'70, έκανε μια σημαντική πρόοδο στην κατανόηση του προβλήματος και εκπόνησε ένα συστηματικό πλαίσιο διεπαφής με το πρόγραμμα.