Update-programs can update programs (1996)

by J J Alferes, L M Pereira
Venue:Non-Monotonic Extensions of Logic Programming (NMELP ’96), Selected Papers, volume 1216 of Lecture Notes in Computer Science