AC-complete Unification and its Application to Theorem Proving (1996)

Cached

Download Links

by Alexandre Boudet , Evelyne Contejean , Claude Marché
Venue:IN PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS
Citations:5 - 0 self