Title: Automated reasoning about hardware data types using bit-vectors of symbolic lengths
First published: 2003