Old resolution with tabulation (1986)

by H Tamaki, T Sato
Venue:In Proceedings on Third international conference on logic programming