@inproceedings{DBLP:conf/itc/GaedeMU86,
  author    = {Rhonda Kay Gaede and
               M. Ray Mercer and
               Bill Underwood},
  title     = {Calculation of Greatest Lower Bounds Obtainable by the Cutting
               Algorithm},
  booktitle = {ITC},
  year      = {1986},
  pages     = {498-505},
  crossref  = {DBLP:conf/itc/1986},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/itc/1986,
  title     = {Proceedings International Test Conference 1986, Washington,
               D.C., USA, September 1986},
  booktitle = {ITC},
  publisher = {IEEE Computer Society},
  year      = {1986},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}