We are currently experiencing cases of mixed-up (and therefore incorrect) metadata for some newly indexed journal issues. We are aware of the problem and we are working on a fix. Thanks for understanding and we apologize for the inconvenience.
Sergio Antoy, Elvira Albert: Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain.ACM2008, ISBN 978-1-60558-117-0
Michael Leuschel: Declarative programming for verification: lessons and outlook.1-7