A top-down proof procedure for generalized data dependencies Stéphane Coulondre Original article Pages: 1 - 29
Synchronized regular expressions Giuseppe Della PennaBenedetto IntrigilaMarisa Venturini Zilli Original article Pages: 31 - 70