WARREN. Top-down and Bottom-up Evaluation Procedurally Integrated. no. 3-4, Cambridge University Press (CUP), 2018, doi:10.1017/s1471068418000194.