The name "Wagner-Fischer" is new to me. I usually cite this as Levenshtein [1965]. Even the Wagner-Fischer wp page notes that Levenshtein was first by a long shot. https://en.wikipedia.org/wiki/Wagner%E2%80%93Fischer_algorit...