Jürgen Kalinski: Autoepistemic Expansions with Incomplete Belief Introspection. Nonmonotonic and Inductive Logic 1990: 223-232