Olga Stepánková, Petr Stepánek: Stratification of Definite Clause Programs and of General Logic Programs. CSL 1989: 396-408