Combinations of Model Checking and Theorem Proving
by Uribe, T. E.
in Intl. Workshop on Frontiers of Combining Systems (FROCOS 2000) pp. 151-170,
