Ross A. Overbeek Logic Programming and Genetic Sequence Analysis: a Tutorial. 32-34 1992 JICSLP db/conf/iclp/iclp92.html#Overbeek92