Heikki Mannila Esko Ukkonen Flow Analysis of Prolog Programs. 205-214 1987 SLP db/conf/slp/slp87.html#MannilaU87