Logic programming: operational semantics and proof theory

• Authors:

• James H. Andrews

• Affiliations:

• Simon Fraser Univ., Burnaby, B.C., Canada

• Venue:
• Logic programming: operational semantics and proof theory
• Year:
• 1993