Appendix to "Advances in PBT for aProlog"

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

Omitted formal definitions and additional experiments

The appendix: PDF. The submitted paper with the appendix: PDF.

Case studies