Algorithm synthesis through problem reformulation (1989)

by M R Lowry