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 