Title: Reversible Logic Synthesis Methodologies with Application to Quantum Computing
Subjects: Quantum computers, Logic programming