Reducing Reversible Circuit Line Count Using Boolean Techniques | IEEE Conference Publication | IEEE Xplore