TY  - RPRT
TI  - The Witness Properties and the Semantics of the Prolog Cut
AU  - James H. Andrews
PY  - 2002
UR  - https://arxiv.org/abs/cs/0201029
ID  - cs/0201029
ER  -