William Bricken implemented the first high-performance Boundary Math inference engines, applying these tools to algebraic optimization of rule-bases, to reasoning in the presence of contradiction, to semantic debugging of programs, and to asynchronous parallel implementations of logical deduction. archive 