@misc{indiciae1df9430b7a0b,
  title = {Proving Correctness and Completeness of Normal Programs - a Declarative Approach},
  author = {W. Drabent and M. Milkowska},
  year = {2005},
  url = {https://arxiv.org/abs/cs/0501043},
  note = {Source identifier: cs/0501043}
}