@Article{ VERDEGAY,
author = { JOSE LUIS VERDEGAY GALDEANO } ,
title = { MR3537427: M Soeken, G.W. Dueck and D.M. Miller: A fast symbolic transformation based algorithm for reversible logic synthesis. In Reversible computation, 307-321, Lecture Notes in Comput. Sci., 9720, Springer (2016). },
journal = { Mathematical Reviews },
year = { 2017 },
pages = { - },
}