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