Order-sorted term rewriting

• Authors:

• A. J. J. Dick;P. Watson

• Affiliations:

• Rutherford Appleton Lab., Chilton, UK;Univ. of Glasgow, Glasgow, UK

• Venue:
• The Computer Journal - Special issue on term rewriting
• Year:
• 1991