Circuit partitioning into small sets: a tool to support testing with further applications. - Spyros Tragoudas; R. Farrell; Fillia Makedon (EURO-DAC, 1991)