A canonical form algorithm for proving equivalence of conditional forms

• 28 February 1978
• journal article
• Published by Elsevier in Information Processing Letters
• Vol. 7  (2) , 103-106
• https://doi.org/10.1016/0020-0190(78)90054-6

Abstract

Keywords

• CANONICAL FORM
• EQUIVALENCE
• CONDITIONAL FORMS