%0 Journal Article %1 journals/corr/cs-DC-0311028 %A Halpern, Joseph Y. %A Moses, Yoram %D 2003 %J CoRR %K dblp %T Using Counterfactuals in Knowledge-Based Programming %U http://dblp.uni-trier.de/db/journals/corr/corr0311.html#cs-DC-0311028 %V cs.DC/0311028

@article{journals/corr/cs-DC-0311028, added-at = {2020-01-10T00:00:00.000+0100}, author = {Halpern, Joseph Y. and Moses, Yoram}, biburl = {https://www.bibsonomy.org/bibtex/2796150a7f3028854610084d01a5334ae/dblp}, ee = {http://arxiv.org/abs/cs/0311028}, interhash = {3c6ce61b98edd64dd7cc0484865c2d4d}, intrahash = {796150a7f3028854610084d01a5334ae}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-01-11T11:43:05.000+0100}, title = {Using Counterfactuals in Knowledge-Based Programming}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0311.html#cs-DC-0311028}, volume = {cs.DC/0311028}, year = 2003 }