Title: Reversible Computation
Subjects: Computer science, mathematics, Logic programming