Orthogonalization of a TVL in Disjunctive or Conjunctive Form - Can, Yavuz; Steinbach, Bernd (Further Improvements in the Boolean Domain, 2018)