@InProceedings{scscgekakasc09a,
  author =	 "L. Schneidenbach and B. Schnor and M. Gebser and R. Kaminski
                  and B. Kaufmann and T. Schaub",
  title =	 "Experiences Running a Parallel Answer Set Solver on {B}lue
                  {G}ene",
  pages =	 "64-72",
  crossref =	 "pvmmpi09"
}
@Proceedings{pvmmpi09,
  title =	 "Proceedings of the Sixteenth European PVM/MPI Users' Group 
                  Meeting on Recent Advances in Parallel Virtual Machine and
                  Message Passing Interface (PVM/MPI'09)",
  booktitle =	 "Proceedings of the Sixteenth European PVM/MPI Users' Group 
                  Meeting on Recent Advances in Parallel Virtual Machine and
                  Message Passing Interface (PVM/MPI'09)",
  year =	 2009,
  editor =	 "M. Ropo and J. Westerholm and J. Dongarra",
  volume =	 5759,
  series =	 "Lecture Notes in Computer Science",
  publisher =	 "Springer-Verlag"
}