David B. Searls String Variable Grammar: A Logic Grammar Formalism for the Biological Language of DNA. 73-102 1995 24 J. Log. Program. 1&2 db/journals/jlp/jlp24.html#Searls95