End Justified Post Turing Rewriting Systems and M-Grammar | IEEE Conference Publication | IEEE Xplore