@inproceedings{HJMW121995,
               author = {H. J. Eikerling, M. Schmidt, W. Rosenstiel},
               title = {A Fully Symbolic Framework For Area-minimizing Hardware Resynthesis},
               booktitle = {7. IFIP TC 10, WG 10. 5 Workshop on Logic and Architecture Synthesis},
               year = {1995},
               month = {12},
               address = {Grenoble, Frankreich}
}