@INPROCEEDINGS{ObtainFirstNACLP89,
author = " V. Saletore and L. V. Kal{\'e}",
title = "Obtaining First Solutions Fast in Parallel Problem Solving",
booktitle = "The North American Conference on Logic Programming",
month = "Oct",
year = "1989",
pages = "390--408",
annote = "89-6"
}