Pletat, Udo, Beierle, Christoph "The Semantics of Asserting and Retracting Clauses to Logic Programs" July 1987 LILOG-Report 7
(1987)
Languages mentioned
LLilog
{1986} KR Lanugage