TY  - RPRT
TI  - A verification algorithm for Declarative Concurrent Programming
AU  - Jean Krivine
PY  - 2006
UR  - https://arxiv.org/abs/cs/0606095
ID  - cs/0606095
ER  -