Pattern matching as cut elimination | IEEE Conference Publication | IEEE Xplore