Thomas Lindgren Polyvariant Detection of Uninitialized Arguments of Prolog Predicates. 217-229 1996 28 J. Log. Program. 3 db/journals/jlp/jlp28.html#Lindgren96