Bifold constraint-based mining by simultaneous monotone and anti-monotone checking | IEEE Conference Publication | IEEE Xplore