Fangzhen Lin, Yoav Shoham: Epistemic Semantics for Fixed-Points Non-Monotonic Logics. TARK 1990: 111-120