TY  - RPRT
TI  - First-order justification logic with constant domain semantics
AU  - Melvin Fitting
AU  - Felipe Salvatore
PY  - 2018
UR  - https://arxiv.org/abs/1808.09875
ID  - 1808.09875
ER  -