Authors: CHEN WD LIU JYC

Citation: Wd. Chen et Jyc. Liu, A PROCEDURAL SEMANTICS FOR STRATIFIED DATABASE UPDATES, Annals of mathematics and artificial intelligence, 21(2-4), 1997, pp. 187-220