In the Driver's Seat of BooleDozer.

Daniel Brand, Robert F. Damiano, Lukas P. P. P. van Ginneken, Anthony D. Drumm

Browse the full ICCD paper archive.