Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming
ACM Digital Library