Sequential Generation of Structured Arrays and Its Deductive Verification.

Richard Genestier, Alain Giorgetti, Guillaume Petiot

Browse the full TAP paper archive.