Minimal covering for precomplete sets in partial four-valued logic