Pos(T): Analyzing dependencies in typed logic programs (2001)

by M Bruynooghe, W Vanhoof, M Codish
Venue:Proceedings og the 4th International Andrei Ershov Memorial Conference, Revised Papers, volume 2244 of LNCS