In the driver's seat of BooleDozer | IEEE Conference Publication | IEEE Xplore