Transformational hierarchical reasoning (1996)

by J Grundy
Venue:Comput. J