@article{4380,
  title = "SAT-Solving in CSP Trace Refinement",
  author = "Hristina Palikareva and Joel Ouaknine and A. W. Roscoe",
  year = "2011",
  booktitle = "Special Issue on Automated Verification of Critical Systems",
  copyright = "Elsevier",
  editor = "Markus Roggenbach",
  journal = "Science of Computer Programming, special issue on Automated Verification of Critical Systems",
  note = "To appear.",
  publisher = "Elsevier",
  url = "http://www.sciencedirect.com/science/article/pii/S0167642311001547",
  doi = "10.1016/j.scico.2011.07.008",
}