1. An algorithm for the organization of information;Adelson-Velskii;Doklady Akademii Nauk SSSR,1962
2. Systems and Software Verification;Bérard,2003
3. Recursive hashing functions for n-grams;Cohen;ACM Transactions on Information Systems,1997
4. Pattern databases;Culberson;Computational Intelligence,1998
5. Edelkamp, S. and A. Lluch-Lafuente, Abstraction in directed model checking, in: Workshop on Connecting Planning Theory with Practice, International Conference on Automated Planning and Scheduling (ICAPS), 2004, pp. 7–13