Deterministic and nondeterministic computation, and horn programs, on abstract data types

• Authors:

• J. V. Tucker;J. I. Zucker

• Affiliations:

• -;-

• Venue:
• Journal of Logic Programming
• Year:
• 1992