Implementing Default and Autoepistemic Logics via the Logic of GK | Read Paper on Bytez