"Iterated Logic Program Updates."

João Alexandre Leite, Luís Moniz Pereira (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics