The Proper Treatment of Optimality in Computational Phonology Lauri Karttunen author 1998 text Finite State Methods in Natural Language Processing conference publication karttunen-1998-proper https://aclanthology.org/W98-1301/ 1998