Combining Decision Procedures. (2002)

by Zohar Manna, Calogero Zarba
Venue:In 10th Anniversary Colloquium of UNU/IIST,