V. Wiktor Marek Complexity Issues in Nonmonotonic Logic and Logic Programming (Abstract). 61 1993 conf/kgc/1993 Kurt Gödel Colloquium db/conf/kgc/kgc93.html#Marek93 https://doi.org/10.1007/BFb0022552