On Thursday 13 of January 2011, Christos Ricudis wrote: > [1] Opoiodhpote ypologistiko problhma mporei na ly8ei xrhsimopoiwntas > regexps kai lastixakia. Gia th formal apodeiksh deite [CR2012] Tis mpataries?