Paola Quaglia David Walker On Encoding p-pi in m-pi. 42-53 1998 conf/fsttcs/1998 FSTTCS db/conf/fsttcs/fsttcs98.html#QuagliaW98