Mitchell Wand, Dale Vaillancourt
Relating models of backtracking
ICFP, 2004.
@inproceedings{ICFP-2004-WandV, author = "Mitchell Wand and Dale Vaillancourt", booktitle = "{Proceedings of the Ninth International Conference on Functional Programming}", doi = "10.1145/1016850.1016861", editor = "Chris Okasaki and Kathleen Fisher", isbn = "1-58113-905-5", pages = "54--65", publisher = "{ACM}", title = "{Relating models of backtracking}", year = 2004, }