A comparative analysis of partial deductors for pure Prolog (1990)

by J Lam, A Kusalik