Tri-Based Set Operations and Selective Computation of Prime Implicates.

Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal

Browse the full ISMIS paper archive.