Enumeration of Success Patterns in Logic Programs (1984)

by T Sato, H Tamaki
Venue:Theoretical Computer Science