Using Model Theory for Grammatical Inference: a Case Study from Phonology. - Kristina Strother-Garcia; Jeffrey Heinz; Hyun Jin Hwangbo (ICGI, 2016)