Matthew Skala, Gerald Penn. Approximate Bit Vectors for Fast Unification. In Makoto Kanazawa, András Kornai, Marcus Kracht, Hiroyuki Seki, editors, The Mathematics of Language - 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings. Volume 6878 of Lecture Notes in Computer Science, pages 158-173, Springer, 2011. [doi]
Abstract is missing.