On the Complexity of Perfect Models of Logic Programs.

Sergey Dudakov On the Complexity of Perfect Models of Logic Programs. 249-258 1999 39 Fundam. Inform. 3 db/journals/fuin/fuin39.html#Dudakov99