Media type: E-Article Title: Lecture Notes in Computer Science: Stratification of definite clause programs and of general logic programs Contributor: Stepankova, Olga; Stepanek, Petr Published: Springer Berlin Heidelberg, 1990 Published in: Lecture Notes in Computer Science (1990), Seite 396-408 Language: Not determined DOI: 10.1007/3-540-52753-2_54 ISBN: 9783540527534; 9783540471370 ISSN: 0302-9743; 1611-3349 Origination: Footnote: