Algorithms in bioinformatics : 12th international workshop,WABI 2012, Ljubljana, Slovenia, September 10-12, 2012 : proceedings - Ben Raphael, editor ([Springer-Verlag, ], 2012)