Title: Towards a design flow for reversible logic
Subjects: Logic programming, Computer logic, Computer architecture, Reversible computing