Deduction in the Verification Support Environment (VSE)

@inproceedings{pub1573,
    author = {

Hutter, Dieter
 and 

Stephan, Werner
},
    editor = {

Ireland, A.
},
    title = {Deduction in the Verification Support Environment (VSE)},
    booktitle = {Proceedings AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice. AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice, Sheffield},
    year = {1995},
    pages = {43--44},
    address = {Sheffield, UK}
}