p. 126-143
An algorithm for minimization of Boolean functions in the class of Toffoli reversible logic circuits
p. 144-158