Mode analysis domains for typed logic programs (2000)

by J-G Smaus, P M Hill, A M King
Venue:University of Leeds