This document provides a complete specification of the input language for the environmental theorem prover. This language is essentially the same input language used by any of the programs designated by AURA, an automated reasoning program developed at Argonne National Laboratory. The intended audience is the user who is already familiar with the concepts and terms associated with resolution-based theorem provers.

From abstract: This report presents a preliminary evaluation of design concepts for the eventual sealing of the shafts, drifts, and boreholes at the Waste Isolation Pilot Plant Facility. The purpose of the seal systems is to limit the flow of water into, through, and out of the repository.

This report summarizes the catch rate of the Heterocarpus laevigatus from the most productive shipping vessel in Hawaii, 1984, the Mokihana. The statistics provide a fairly comprehensive geographic survey of the relative abundance of the species along the Hawaiian Archipelago.