@inproceedings{DBLP:conf/aplas/MuB03, title = "Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion", author = "Shin-Cheng Mu and Richard S. Bird", year = "2003", booktitle = "Asian Symposium on Programming Languages and Systems", editor = "Atsushi Ohori", isbn = "3-540-20536-5", pages = "265-282", publisher = "Springer", series = "Lecture Notes in Computer Science", url = "http://www.comlab.ox.ac.uk/people/richard.bird/online/MuBird2003Rebuilding.pdf", volume = "2895", }