The defining power of stratified and hierarchical logic programs

TitleThe defining power of stratified and hierarchical logic programs
Publication TypeJournal Article
Year of Publication1993
AuthorsJäger, G, Stärk, RF
JournalJournal of Logic Programming
Volume15
Pagination55-77
URLhttp://www.iam.unibe.ch/ltgpub/1993/js93.pdf