Logic-based work and utterance discovery from mixed-detail phonetic lattices | IEEE Conference Publication | IEEE Xplore