Pattern-matching search of DNA sequences using logic grammars | IEEE Conference Publication | IEEE Xplore