@Article{GK99,
  author = 	 {E. Gafni and E. Koutsoupias},
  title = 	 {Three-Processor Tasks Are Undecidable},
  journal = 	 {SIAM Journal on Computing},
  year = 	 {1999},
  volume = 	 {28},
  number = 	 {3},
  pages = 	 {970--983}
}

@string{PODC95 = {Proceedings of the Fourteenth Annual ACM Symposium
                  on Principles of Distributed Computing}}

@InProceedings{GK95,
  author =       {E. Gafni  and  E. Koutsoupias},
  title =        {Three-processor tasks are undecidable},
  booktitle =    PODC95,
  year =         1995,
  month =        {20--23 } # aug,
  pages =        271,
  address =      {Ottawa, Ontario, Canada},
  note =         {Final version in Siam J. on Comp.}
}