MoL-2008-04: Pennings, Martijn (2008) A Konolige bridge between default logic and autoepistemic logic. [Report]