An article titled "Institute helps educators teach kids how to think about art" by Martha Deller published in the Fort Worth Star-Telegram. The article talks about the North Texas Institute for Educators on the Visual Arts 1992 Summer Institute which provides art educators with new tools and skill to incorporate into their classroom. The institute also introduced new ways of thinking about art and help students critically thinking about their reactions to art.

This report discusses the recovery from the February 9, 1991 small scale explosion in a custom processing dissolver at the Idaho Chemical Processing Plant. Custom processing is a small scale dissolution facility which processes nuclear material in an economical fashion. The material dissolved in this facility was uranium metal, uranium oxides, and uranium/fissium alloy in nitric acid. The paper explained the release of fission material, and the decontamination and recovery of the fuel material. The safety and protection procedures were also discussed. Also described was the chemical analysis which was used to speculate the most probable cause of the explosion. (MB)

We present new results in axiomatic group theory obtained by using automated deduction programs. The results include single axioms, some with the identity and others without, for groups of exponents 3, 4, 5 and 7, and a general form for single axioms for groups of odd exponent. The results were obtained by using the programs in three separate ways: as a symbolic calculator, to search for proofs,and to search for couterexamples. We also touch on relations between logic programming and automated reasoning.

We present new results in axiomatic group theory obtained by using automated deduction programs. The results include single axioms, some with the identity and others without, for groups of exponents 3, 4, 5 and 7, and a general form for single axioms for groups of odd exponent. The results were obtained by using the programs in three separate ways: as a symbolic calculator, to search for proofs,and to search for couterexamples. We also touch on relations between logic programming and automated reasoning.