Boolean matching based on Boolean unification | IEEE Conference Publication | IEEE Xplore