Gallagher, John Patrick ; Henriksen, Kim Steen Gallagher , J P & Henriksen , K S 2004 , Abstract Domains Based on Regular Types . i B Demoen & V Lifschitz (red) , 20th International Conference, ICLP 2004, Proceedings . Springer , The 20th International Conference on Logic Programming , Saint-Malo , Frankrig , 06/09/2004 ..
,
2004