Smallest Horn clause programs (1996)

by P Devienne, P Lebegue, A Parrain, J-C Routier
Venue:Journal of Logic Programming