An asynchronous multiplier. - Brenda Luderman; Alexander Albicki (Great Lakes Symposium on VLSI, 1992)

A Logic Programming Framework for Combinational Circuit Synthesis. - Paul Tarau; Brenda Luderman (ICLP, 2007)

Exact combinational logic synthesis and non-standard circuit design. - Paul Tarau; Brenda Luderman (Conf. Computing Frontiers, 2008)

Revisiting exact combinational circuit synthesis. - Paul Tarau; Brenda Luderman (SAC, 2008)

Symbolic modeling of a universal reconfigurable logic gate and its applications to circuit synthesis. - Paul Tarau; Brenda Luderman (RACS, 2012)

Boolean Evaluation with a Pairing and Unpairing Function. - Paul Tarau; Brenda Luderman (SYNASC, 2012)