Gill Bejerano Efficient exact value computation and applications to biosequence analysis. 38-47 2003 RECOMB http://doi.acm.org/10.1145/640075.640080 db/conf/recomb/recomb2003.html#Bejerano03