Logic programming updating – a guided approach

Authors

José Júlio Alferes, A. Kakas, Luís Moniz Pereira, F. Sadri,