@misc{indiciae7d048850c4ad,
  title = {Automatic generation of simplified weakest preconditions for integrity constraint verification},
  author = {A. Ai T -Bouziad and Irene Guessarian and L. Vieille},
  year = {2006},
  url = {https://arxiv.org/abs/cs/0603053},
  note = {Source identifier: cs/0603053}
}