@misc{Melham:ASI:2004,
  title = "Automatic Symbolic Indexing Methods for Formal Verification on a Symbolic Lattice Domain",
  author = "Thomas F. Melham and Robert B. Jones",
  year = "2004",
  month = "June",
  note = "US Patent 7,310,790",
}