Some proof-theoretic aspects of logic programming

TitleSome proof-theoretic aspects of logic programming
Publication TypeConference Paper
Year of Publication1993
AuthorsJäger, G
EditorBauer, FL, Brauer, W, Schwichtenberg, H
Conference NameLogic and Algebra of Specification
Pagination113-142
PublisherSpringer