Garland, Stephen, John Guttag, and Jørgen Staunstrup. 1988. “Verification of VLSI Circuits Using LP”. DAIMI Report Series 17 (258). https://doi.org/10.7146/dpb.v17i258.7842.