On the Complexity of Generalized Horn Clause Intuionistic Logic. - Clemens Beckstein; Manfred Rahneberg (WLP, 2000)