Old resolution with tabulation (1986)

by H Tamaki, T Sato
Venue:In Proc. of 3rd International Conference on Logic Programming