TY  - RPRT
TI  - Axiomatization of if-then-else over possibly non-halting programs and tests
AU  - Gayatri Panicker
AU  - K. V. Krishna
AU  - Purandar Bhaduri
PY  - 2016
UR  - https://arxiv.org/abs/1609.00132
ID  - 1609.00132
ER  -