id: 70867674
dt: a
an: 70867674
au: Bergstra, Jan A.; Ponse, Alban; Van Wamel, Jos
ti: Process algebra with backtracking
so: REX School/Symposium, 46-91 (1993).
py: 1993
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/3-540-58043-3_17