TY  - RPRT
TI  - Tractable Epistemic Reasoning with Functional Fluents, Static Causal Laws and Postdiction
AU  - Manfred Eppe
PY  - 2020
UR  - https://arxiv.org/abs/1403.0034
ID  - 1403.0034
ER  -