@inproceedings{UW1993,
               author = {U. Weinmann, W. Rosenstiel},
               title = {Technology Mapping for Sequential Circuits based on Retiming Techniques},
               booktitle = {EURO-DAC},
               year = {1993},
}