Report 78 09 Exhaustive Generation of Stanford for Structure Elucidation . James G. Raymond E. Dennis H. Smith 111