@inproceedings{StenzWolf1999a,
author = {Gernot Stenz and Andreas Wolf},  
title = {{G}enetic {S}trategy {S}election for {P}arallel {T}heorem {P}roving},
booktitle = {{P}roceedings of the Conference on High Performance Computing on Hewlett-Packard Systems ({H}i{P}er-99)},
editor = {Tor Johansen},
year = {1999},
pages = {509--518},
publisher = {Computer Centre, University of Troms{\o}, Norway},
note = {ISBN 82-90456-99-9},
}