@inproceedings{1046304,
    title = "Church-Rosser theorem for conjunctive type systems",
    author = "Κολέτσος, Γεώργιος and Σταυρινός, Γεωργιος",
    year = "1997",
    pages = "25-37",
    publisher = "Πανεπιστήμιο Κύπρου",
    booktitle = "Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά"
}