T. Reps, S. Horwitz, and M. Sagiv. Proceedings of the 22Nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, page 49--61. New York, NY, USA, ACM, (1995)
R. Brambilla, F. Cattabeni, S. Ceruti, D. Barbieri, C. Franceschi, Y. Kim, K. Jacobson, K. Klotz, M. Lohse, and M. Abbracchio. Naunyn Schmiedebergs Arch Pharmacol, 361 (3):
225-34(March 2000)Brambilla, R Cattabeni, F Ceruti, S Barbieri, D Franceschi, C Kim,
Y C Jacobson, K A Klotz, K N Lohse, M J Abbracchio, M P 01MH30003/MH/NIMH
NIH HHS/United States Research Support, Non-U.S. Gov't Research Support,
U.S. Gov't, P.H.S. Germany Naunyn-Schmiedeberg's archives of pharmacology
Naunyn Schmiedebergs Arch Pharmacol. 2000 Mar;361(3):225-34..
Y. Kalfoglou, and W. Schorlemmer. Proceedings of the 13th International Conference on Conceptual Structures (ICCS 2005), volume 3596 of Lecture Notes in Computer Science, page 107-118. Springer, (2005)