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.
Peter Schneider-Kamp, Michael Hanus: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark.ACM2011, ISBN 978-1-4503-0776-5
Vitaly Lagoon: The challenges of constraint-based test generation.1-2