Dino Karabeg;Victor Vianu
-;-
A procedural semantics for stratified database updates
Annals of Mathematics and Artificial Intelligence