Redundant and Non-Redundant Parts of a Switching Function by Bi-Decomposition. - Can, Yavuz (30th International Workshop on Post-Binary ULSI Systems (ULSIWS2021), 2021)