Normal Forms and the Complexity of Computations of Logic Programs. - Vít Ochozka; Olga Stepánková; Petr Stepánek (CSL, 1988)