Hillenbrand, T., Podelski, A., & Topić, D. (2002). Is Logic Effective for Analyzing C Programs? In Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi (pp. 27-30). Saarbrücken, Germany: Max-Planck-Institut für Informatik.