Formal Linguistics and the Deductive Grammar | IEEE Conference Publication | IEEE Xplore