TY  - RPRT
TI  - Relational Semantics for Databases and Predicate Calculus
AU  - Philip Kelly
AU  - M. H. van Emden
PY  - 2012
UR  - https://arxiv.org/abs/1202.0474
ID  - 1202.0474
ER  -