LUPS: A language for updating logic programs. (2002)

by J J Alferes, L M Pereira, H Przymusinska, T Przymusinski
Venue:LPNMR’99, Springer LNAI