Peter Van Roy Challenges in Developing Useful and Practical Static Analysis for Logic Programs. 111 1993 conf/sas/1993 WSA db/conf/sas/wsa93.html#Roy93