TY  - RPRT
TI  - Automatic generation of simplified weakest preconditions for integrity constraint verification
AU  - A. Ai T -Bouziad
AU  - Irene Guessarian
AU  - L. Vieille
PY  - 2006
UR  - https://arxiv.org/abs/cs/0603053
ID  - cs/0603053
ER  -