Modeling QCA for area minimization in logic synthesis. - Nadine Gergel; Shana Craft; John C. Lach (ACM Great Lakes Symposium on VLSI, 2003)