234 followers Verification papers @verif_papers Regular Patterns in Second-Order Unification. - Tomer Libal http://t.co/AblaCQVTf6 01 Aug 2015 Reply Repost Favourite