Lunjin Lu Polymorphic Type Analysis in Logic Programs by Abstract Intepretation. 1-54 1998 36 J. Log. Program. 1 db/journals/jlp/jlp36.html#Lu98