Teodor Knapik Étienne Payet The Full Quotient and its Closure Property for Regular Languages. 57-62 1998 65 Inf. Process. Lett. 2 db/journals/ipl/ipl65.html#KnapikP98 http://dx.doi.org/10.1016/S0020-0190(97)00218-4