Automating Proofs of Unwinding Conditions

@inproceedings{pub1893,
    author = {

Hutter, Dieter
},
    editor = {

Autexier, Serge
 and 

Mantel, Heiko
},
    title = {Automating Proofs of Unwinding Conditions},
    booktitle = {Workshop Proceedings VERIFY06 at the International Joint Conference on Automated Reasoning. International Verification Workshop (VERIFY), Seattle},
    year = {2006},
    address = {Seattle, USA}
}