TY  - RPRT
TI  - Epistemic Modeling with Justifications
AU  - Sergei Artemov
PY  - 2017
UR  - https://arxiv.org/abs/1703.07028
ID  - 1703.07028
ER  -