@article{KT03a,
  number="3",
  volume="4",
  month="July",
  author="Dexter Kozen and Jerzy Tiuryn",
  title="Substructural Logic and Partial Correctness",
  journal="Trans. Computational Logic",
  year="2003",
  pages="355--378"
}