Pereira, et al.. A Runtime System for Logical-space Programming. ACM Press, 2015, doi:10.1145/2756755.2756760.