Εξαντλητικότητα Ταιριάσματος Προτύπων για Γενικευμένους Αλγεβρικούς Τύπους Δεδομένων - Καραχάλιας, Γεώργιος Δ. (N/A, 1970)