Unification of quantified terms

• Authors:

• John Staples;Peter J. Robinson

• Affiliations:

• Univ. of Queensland, St. Lucia, Queensland, Australia;Univ. of Queensland, St. Lucia, Queensland, Australia

• Venue:
• Proc. of a workshop on Graph reduction
• Year:
• 1987