Papers submitted to ISIPTA'13.