@INPROCEEDINGS{TinHar-FROCOS-96,
  author =	 {Cesare Tinelli and Mehdi T.~Harandi},
  title =	 {A new correctness proof of the {N}elson--{O}ppen
                  combination procedure},
  editor =	 {F.~Baader and K.~U.~Schulz},
  booktitle =	 {Frontiers of Combining Systems: Proceedings of the
                  1st International Workshop (Munich, Germany)},
  publisher =	 {Kluwer Academic Publishers},
  series =	 {Applied Logic},
  month =	 mar,
  year =	 1996,
  pages =	 {103--120},
  url =		 {http://www.cs.uiowa.edu/~tinelli/papers.html},
}