Singularity Detection, Dataflow Analysis of Logic Programs Using Typed Domains. - Georgios Papadopoulos 005 (1993)