Κολέτσος, Γεώργιος,Σταυρινός, Γεωργιος, Church-Rosser theorem for conjunctive type systems, 25-37, 1997, Πανεπιστήμιο Κύπρου,