Peter Thiemann Avoiding Repeated Tests in Pattern Matching. 141-152 1993 conf/sas/1993 WSA db/conf/sas/wsa93.html#Thiemann93