On a question of H (1996)

by G D Plotkin
Venue:Friedman. Inf. Comput