Vladimir Lifschitz. Missionaries and Cannibals in the Causal Calculator. In KR. pages 85-96, 2000.
@inproceedings{Lifschitz00:0, title = {Missionaries and Cannibals in the Causal Calculator}, author = {Vladimir Lifschitz}, year = {2000}, researchr = {https://researchr.org/publication/Lifschitz00%3A0}, cites = {0}, citedby = {0}, pages = {85-96}, booktitle = {KR}, }