Decision Procedures and Model Building in Equational Clause Logic (1998)

Cached

Download Links

by Christian G. Fermüller , Alexander Leitsch
Venue:JOURNAL OF THE IGPL
Citations:15 - 2 self