APPLICATIONS OF ARTIFICIAL INTELLIGENCE FOR CHEMICAL INFERENCE. PART 40. A COMPUTERIZED APPROACH TO THE VERIFICATION OF CARBON-13 NMR SPECTRAL ASSIGNMENTS