""All's well that ends well" - a proposal of global abduction."

Ken Satoh (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics