Boolean Simplification and Integer Inequalities

J. M. Wilson. Boolean Simplification and Integer Inequalities. Comput. J., 20(4):356-358, 1977.

Abstract

Abstract is missing.