Logical decision problems and complexity of logic programs - Löwen, Ulrich (1986)
Zugl.: Dortmund, Univ., Diplomarb.