On the generation of prime implicants
Bernd Reusch, Lothar Detering · Fundamenta Informaticae · 1979
It is shown that various well-known normal forms for Boolean functions can be derived from a very general representation of subfunctions. Another general theorem on the relation between the prime implicants of a function and the prime implicants of its subfunctions is used to prove correct various methods of generating prime implicants.