Inductively speeding up logic programs (1994)

by M Numao, T Maruoka, M Shimura
Venue:Machine Intelligence