THOR: A tool for reasoning about shape and arithmetic - Tool paper
Journal
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Journal Volume
5123 LNCS
Pages
428-432
Date Issued
2008
Author(s)
Type
book