AFCRC technical reports TR (series). 55-104. On synthesis of minimal representation of logic function [with list of references; by] Rolf Mueller.

Tools