George Kafkoulis Coding lemmata in L. 193-214 2004 43 Arch. Math. Log. 2 http://dx.doi.org/10.1007/s00153-003-0204-0 db/journals/aml/aml43.html#Kafkoulis04