LARA This is an old revision of the document! Verifying pattern matching with guards Mirco Dotta, Philippe Suter Documents slides for printing 1xdotta_suter_presentation.pdf (without animation) slides for the presentationdotta_suter_presentation.pdf