Logically reversible arithmetic circuit using pass-transistor. - Takashi Hisakado; Hiroyoshi Iketo; Kohshi Okumura (ISCAS (2), 2004)