Implementing the Zurich reduction step

Rule Zurich reduction rule

Test the Zurich reduction rule

Last updated