@INPROCEEDINGS{SearchAAAI90,
        author = "V. Saletore and L.V. Kale",
        title = "Consistent Linear Speedups for
            a First Solution in Parallel State-Space Search",
        booktitle = "Proceedings of the AAAI",
        month = "August",
        year = "1990",
        pages = "227-233",
}