Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and its Permutation Semantics

@inproceedings{pub7733,
    author = {

Thomsen, Michael Kirkedal
 and 

Soeken, Mathias
 and 

Kaarsgaard, Robin
},
    title = {Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and its Permutation Semantics},
    booktitle = {7th International Conference on Reversible Computation. International Conference on Reversible Computation (RC-07), 7th, July 16-17, Grenoble, France},
    year = {2015}
}