An abstract is not available for this content so a preview has been provided. As you have access to content, full PDF via the ‘Save PDF’ action button.

We explain St almarck's proof procedure for classical propo-sitional logic. The method is implemented in a commercial tool that has been used successfully in real industrial veriication projects. Here, we present the proof system underlying the method, and motivate the various design decisions that have resulted in a system that copes well with the large formulas encountered in industrial-scale...

Penicillium chrysogenum is the major industrial producer of the β-lactam antibiotic penicillin. Here, we report the complete genome sequence of the industrial progenitor strain P. chrysogenum P2niaD18 in a chromosome-scale genome assembly. P2niaD18 is distinguished from the recently sequenced P. chrysogenum Wisconsin 54-1255 strain by major chromosomal rearrangements leading to a modified chrom...

645 COVER Among the contrasts in scale between academic and industrial chemistry is the latter field's use of raw materials by the trainload. This week's special section, beginning on page 691, elaborates on the challenges and opportunities in industrial chemistry as the field embarks on its second century of development.