@InProceedings{CastanedaSchulteWahlberg:CP:2010,
   Author =    "CastaƱeda Lozano, Roberto and Christian Schulte and Lars Wahlberg",
   Title =     "Testing Continuous Double Auctions with a Constraint-based Oracle",
   Editor =    "David Cohen",
   Booktitle = "Sixteenth International Conference on Principles and Practice of Constraint Programming",
   Year =      2010,
   Month =     sep,
   Address =   "St Andrews, UK",
   Publisher = "Springer-Verlag",
   Series =    "Lecture Notes in Computer Science",
   Volume =    "6308",
   Pages =     "613--627",
   DOI =       "10.1007/978-3-642-15396-9_48",
   URL =       "https://chschulte.github.io/papers/castanedaschultewahlberg-cp-2010.html"
}