TY  - RPRT
TI  - Using Counterfactuals in Knowledge-Based Programming
AU  - Joseph Y. Halpern
AU  - Yoram Moses
PY  - 2003
UR  - https://arxiv.org/abs/cs/0311028
ID  - cs/0311028
ER  -