M. Chechik, G. Brunet, D. Fischbein, and S. Uchitel. MMOSS, volume 06351 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)
D. Alrajeh, J. Kramer, A. Russo, and S. Uchitel. ICLP (Technical Communications), volume 11 of LIPIcs, page 106-116. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)