1. Searching for solutions in games and artificial intelligence;Allis,1994
2. Proof-number search;Allis;Artificial Intelligence,1994
3. Go-moku solved by new search techniques;Allis;Comput. Intelligence,1995
4. Singular extensions: Adding selectivity to brute force searching;Anantharaman;Artificial Intelligence,1989
5. Metaprogramming in logic,1994