Directional type inference for logic programs (1998)

by W Charatonik, A Podelski
Venue:Proceedings of the International Symposium on Static Analysis (SAS'98), Pisa, September 14 - 16, 1998, volume 1503 of Springer LNCS