C
[CM06] Scott Cotton and Oded Maler. Fast and Flexible Difference Constraint Propagation for DPLL(T). In SAT'06, Lecture Notes in Computer Science 4121, pages 170-183. Springer-Verlag, August 2006. 
@inproceedings{sat2006-CM,
  author =              {Cotton, Scott and Maler, Oded},
  title =               {Fast and Flexible Difference Constraint Propagation
                         for {DPLL(T)}},
  editor =              {Biere, Armin and Gomes, Carla P.},
  booktitle =           {{P}roceedings of the 15th {I}nternational
                         {C}onference on {T}heory and {A}pplications of
                         {S}atisfiability {T}esting ({SAT}'06)},
  acronym =             {{SAT}'06},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {4121},
  pages =               {170-183},
  year =                {2006},
  month =               aug,
}
List of authors