1. Ajiro, Y., Ueda, K.: Kima: An Automated Error Correction System for Concurrent Logic Programs. Automated Software Engg. 9(1), 67–94 (2002)
2. Bistarelli, S., Montanari, U., Rossi, F.: Soft Concurrent Constraint Programming. ACM Trans. Comput. Logic 7(3), 563–589 (2006)
3. Boag, S., Chamberlin, D., Fernandez, M., Florescu, D., Robie, J., Simeon, J.: XQuery 1.0: An XML Query Language. Technical report, W3C (2003),
http://www.w3.org/TR/xquery
4. Boutilier, C., Brafman, R.I., Domshlak, C., Hoos, H.H., Poole, D.: CP-nets: A Tool for Representing and Reasoning with Conditional Ceteris Paribus Preference Statements. J. Artif. Int. Res. 21(1), 135–191 (2004)
5. Charles, P., Grothoff, C., Saraswat, V., Donawa, C., Kielstra, A., Ebcioglu, K., von Praun, C., Sarkar, V.: X10: an Object-Oriented Approach to Non-uniform Cluster Computing. SIGPLAN Not. 40(10), 519–538 (2005)