"A formal analysis of why heuristic functions work."

B. John Oommen, Luís G. Rueda (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics