TY  - RPRT
TI  - Coherence in Linear Predicate Logic
AU  - K. Dosen
AU  - Z. Petric
PY  - 2014
UR  - https://arxiv.org/abs/0709.1421
ID  - 0709.1421
ER  -