A Proof System for the First-Order Relational Calculus

@article{Hennessy1980APS,
  title={A Proof System for the First-Order Relational Calculus},
  author={Matthew Hennessy},
  journal={J. Comput. Syst. Sci.},
  year={1980},
  volume={20},
  pages={96-110}
}