Vlado Dancík Theresa A. Addona Karl R. Clauser James E. Vath De Novo peptide sequencing via tandem mass spectrometry: a graph-theoretical approach. 135-144 1999 RECOMB http://doi.acm.org/10.1145/299432.299471 db/conf/recomb/recomb1999.html#DancikACV99