Über Eingabeabhängigkeit und Komplexität von Inferenzstrategien.