Correctness verification of VLSI modules supported by a very efficient Boolean prover. - P. Lammens; Luc J. M. Claesen; Hugo De Man (ICCD, 1989)