Automatic synthesis of a dual-PLA controller with a counter. - David Binger; David Knapp (MICRO, 1990)

Encoding Multiple Outputs for Improved Column Compaction. - David Binger; David Knapp (ICCAD, 1991)

Encoding Problems in Controller Synthesis - David Binger (1992)

Polyhedra with Unguarded Interiors. - David Binger (Int. J. Comput. Geom. Appl., 2002)