Storage representations for tree-like data structuresArnold L. RosenbergDerick Woodet al.1979Mathematical Systems Theory
Storage representations for tree-like data structuresArnold L. RosenbergDerick Woodet al.1979STOC 1979
On the complexity of regular resolution and the Davis-Putnam procedureZvi Galil1977Theoretical Computer Science
Two fast simulations which imply some fast string matching and palindrome-recognition algorithmsZvi Galil1976Information Processing Letters