Pletat, Udo, Beierle, Christoph "The Semantics of Asserting and Retracting Clauses to Logic Programs" July 1987 LILOG-Report 7

(1987)

Languages mentioned