KozawaHK07'

BibTeX

@article{DBLP:journals/ieicet/KozawaHK07,
  author    = {Hiroaki Kozawa and
               Kiyoharu Hamaguchi and
               Toshinobu Kashiwabara},
  title     = {Satisfiability Checking for Logic with Equality and Uninterpreted
               Functions under Equivalence Constraints},
  journal   = {IEICE Transactions},
  volume    = {90-A},
  number    = {12},
  year      = {2007},
  pages     = {2778-2789},
  ee        = {http://dx.doi.org/10.1093/ietfec/e90-a.12.2778},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}