publication venue for A parallel fully coupled implicit domain decomposition method for numerical simulation of microfluidic mixing in 3D 2013 Characterizations of RE languages starting from internal contextual languages 1998 Restricted use of the splicing operation 1996
