Strategies for consistency checking based on unification

• Authors:

• H. Bowman;E. A. Boiten;J. Derrick;M. W.A. Steen

• Affiliations:

• -;-;-;-

• Venue:
• Science of Computer Programming
• Year:
• 1999