KimJS07'

BibTeX

@article{DBLP:journals/jsat/KimJS07,
  author    = {Hyondeuk Kim and
               HoonSang Jin and
               Fabio Somenzi},
  title     = {Disequality Management in Integer Difference Logic via Finite
               Instantiations},
  journal   = {JSAT},
  volume    = {3},
  number    = {1-2},
  year      = {2007},
  pages     = {47-66},
  ee        = {http://jsat.ewi.tudelft.nl/content/volume3/JSAT3_4_Kim.pdf},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}