An Efficient Algorithm to Generate Prime Implicants A. K. ShinyArun K. Pujari OriginalPaper Pages: 149 - 170
Metalogical Frameworks II: Developing a Reflected Decision Procedure William E. AitkenRobert L. ConstableJudith L. Underwood OriginalPaper Pages: 171 - 221