@article{journals/tosem/HeitmeyerJL96,
  added-at = {2003-11-26T00:00:00.000+0100},
  author = {Heitmeyer, Constance L. and Jeffords, Ralph D. and Labaw, Bruce G.},
  biburl = {http://www.bibsonomy.org/bibtex/29b16a81b04c103b8489022eb4682bf4c/dblp},
  date = {2003-11-26},
  description = {dblp},
  ee = {http://doi.acm.org/10.1145/234426.234431},
  interhash = {8834a18314e83eab598a4e413f0d0feb},
  intrahash = {9b16a81b04c103b8489022eb4682bf4c},
  journal = {ACM Trans. Softw. Eng. Methodol.},
  keywords = {dblp},
  number = 3,
  pages = {231-261},
  timestamp = {2003-11-26T00:00:00.000+0100},
  title = {Automated Consistency Checking of Requirements Specifications.},
  url = {http://dblp.uni-trier.de/db/journals/tosem/tosem5.html#HeitmeyerJL96},
  volume = 5,
  year = 1996
}