TY  - RPRT
TI  - Predicate Logic with Definitions
AU  - Victor Makarov
PY  - 1999
UR  - https://arxiv.org/abs/cs/9906010
ID  - cs/9906010
ER  -