Minimal program covering based on the output variables | IEEE Conference Publication | IEEE Xplore