"The Role of Abduction in Database View Updating."

Luca Console, Maria Luisa Sapino, Daniele Theseider Dupré (1995)
a service of Schloss Dagstuhl - Leibniz Center for Informatics