OpenAlex
On the Parameterized Complexity of Default Logic and Autoepistemic Logic
Work