A Comprehensive Study of the Efficiency of Type-Reduction Algorithms
(2020)
Journal Article
Improving the efficiency of type-reduction algorithms continues to attract research interest. Recently, there have been some new type-reduction approaches claiming that they are more efficient than the well-known algorithms such as the enhanced Karni... Read More about A Comprehensive Study of the Efficiency of Type-Reduction Algorithms.