An Integration of Model Checking with Automated (1995)

by S Rajan, N Shankar, M K Srivas
Venue:Proof Checking, 7th International Conference on Computer Aided Verification, Li`ege