@inproceedings{AndrzejakFukuda2003, author = {Artur Andrzejak and Komei Fukuda}, title = {Debugging Distributed Computations by Reverse Search}, booktitle = {The 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), February 10-13, 2003, Innsbruck, Austria}, editor = {M. Hamza}, pages = {719 -- 725}, year = {2003}, }