Directional type inference for logic programs (1998)

by W Charatonik, A Podelski
Venue:Proceedings of the Fifth International Static Analysis Symposium (SAS), LNCS 1503