TY  - RPRT
TI  - Subset models for justification logic
AU  - Eveline Lehmann
AU  - Thomas Studer
PY  - 2020
UR  - https://arxiv.org/abs/1902.02707
ID  - 1902.02707
ER  -