The Algorithm describe in thesis [ P-compositionality Algorithm](https://arxiv.org/pdf/1504.00204.pdf), which will be efficiency for multi-key.