@inproceedings{Kre14, author = {Kreowski, H.-J. and Kuske, S. and Lye, A. and Luderer, M.}, title = {Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis}, booktitle = {Graph Transformation}, year = {2014}, editor = {Giese, H. and K{\"o}nig, B.}, publisher = {Springer International Publishing}, doi = {10.1007/978-3-319-09108-2_16}, pages = {237-252} }