Rikio Onai Hajime Shimizu Kanae Masuda Moritoshi Aso Analysis of Sequential Prolog Programs. 119-141 1986 3 J. Log. Program. 2 db/journals/jlp/jlp3.html#OnaiSMA86