-
Andrei Paskevich authored
with a different logic of splitting in premises - to discuss. Its main advantage is providing two transformations instead of 6.
71b809e9
with a different logic of splitting in premises - to discuss. Its main advantage is providing two transformations instead of 6.