Efficient Probabilistic Logic Programming for Biological Sequence Analysis, nr. 137, 2013