(1989). Nested Guarded Horn Clauses, a language provided with a complete set of unfolding rules.
Chicago-Zitierstil (17. Ausg.)Nested Guarded Horn Clauses, a Language Provided with a Complete Set of Unfolding Rules. Tokyo, Japan, 1989.
MLA-Zitierstil (9. Ausg.)Nested Guarded Horn Clauses, a Language Provided with a Complete Set of Unfolding Rules. 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.