"Ordered Programs as Abductive Systems."

Davy Van Nieuwenborgh, Dirk Vermeir (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics