A Theory of Interactive Debugging of Knowledge Bases in Monotonic Logics | Read Paper on Bytez