TY  - RPRT
TI  - Pairing Functions, Boolean Evaluation and Binary Decision Diagrams in Prolog
AU  - Paul Tarau
PY  - 2009
UR  - https://arxiv.org/abs/0808.0555
ID  - 0808.0555
ER  -