@InProceedings{JunttilaDubrovin:LPAR2008,
  author =    {Tommi Junttila and Jori Dubrovin},
  title =     {Encoding Queues in Satisfiability Modulo Theories Based
                  Bounded Model Checking},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08)},
  pages =     {290--304},
  year =      {2008},
  editor =    {Iliano Cervesato and Helmut Veith and Andrei Voronkov},
  volume =    {5330},
  series =    {Lecture Notes in Artificial Intelligence},
  OPTaddress = 	 {Doha, Qatar},
  OPTmonth = 	 {November 22--27},
  publisher = {Springer},
  url =       {http://dx.doi.org/10.1007/978-3-540-89439-1_21}
}