This page contains additional material related to the submitted paper "Advances in PBT for aProlog" by Cheney, Momigliano and Pessina.
The appendix: PDF. The submitted paper with the appendix: PDF.