APA (7th ed.) Citation

(1989). Nested Guarded Horn Clauses, a language provided with a complete set of unfolding rules.

Chicago Style (17th ed.) Citation

Nested Guarded Horn Clauses, a Language Provided with a Complete Set of Unfolding Rules. Tokyo, Japan, 1989.

MLA (9th ed.) Citation

Nested Guarded Horn Clauses, a Language Provided with a Complete Set of Unfolding Rules. 1989.

Warning: These citations may not always be 100% accurate.