Enumeration of success patterns in logic programs (1984)

by T Sato, H Tamaki
Venue:Theoretical Computer Science