Bern Martens Danny De Schreye Tamás Horváth Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures. 97-117 1994 122 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs122.html#MartensSH94