A Decision Procedure for Generalized Sequential Mapability-onto of Regular Sets

Robert McNaughton

Browse the full STOC paper archive.