TY  - RPRT
TI  - Sound search in a denotational semantics for first order logic
AU  - C. F. M. Vermeulen
PY  - 2003
UR  - https://arxiv.org/abs/cs/0307067
ID  - cs/0307067
ER  -