Pakin, S. (2018). Performing Fully Parallel Constraint Logic Programming on a Quantum Annealer. Theory and Practice of Logic Programming, 18(5-6), 928–949. https://doi.org/10.1017/S1471068418000066