Theorem proving with structured theories (full report (2001)

by Sheila Mcilraith , Eyal Amir
Citations:29 - 6 self