Baum, Gabriel Alfredo A proof of the interpretability of P/PML in a relational setting Standard No.: DIF003262