Theorem proving with structured theories (full report (2001)

by Sheila Mcilraith , Eyal Amir
Citations:26 - 5 self