Abductive design for a mixture of two components | IEEE Conference Publication | IEEE Xplore