Tractable Epistemic Reasoning with Functional Fluents, Static Causal Laws and Postdiction | Read Paper on Bytez