117
Voted
CADE
2005
Springer
16 years 7 hour ago
2005
Springer
We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our...