Hierarchical Proof Planning Using Abstractions

@inproceedings{pub1593,
    author = {

Hutter, Dieter
},
    editor = {

II, D. Dankel
},
    title = {Hierarchical Proof Planning Using Abstractions},
    booktitle = {Proceedings 10th Annual Florida AI Research Symposium, FLAIRS'97, Track: Using AI methods to control automated deduction. International FLAIRS Conference (FLAIRS), Daytona Beach},
    year = {1997},
    pages = {181--185},
    address = {Daytona Beach, USA},
    publisher = {M. Fishman}
}