## Stéphane Kaplan

*Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs*

ESOP, 1986.

@inproceedings{ESOP-1986-Kaplan, author = "Stéphane Kaplan", booktitle = "{Proceedings of the First European Symposium on Programming}", doi = "10.1007/3-540-16442-1_27", editor = "Bernard Robinet and Reinhard Wilhelm", isbn = "3-540-16442-1", pages = "351--374", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs}", volume = 213, year = 1986, }