Leeand Lee. Towards Practical Infinite Stream Constraint Programming: Applications and Implementation. Springer International Publishing, 2014, doi:10.1007/978-3-319-10428-7_34.