Hans L. Bodlaender Joost Engelfriet 94-123 1997 24 J. Algorithms 1 db/journals/jal/jal24.html#BodlaenderE97