Smallest Horn Clause Programs
(pdf)
P. Devienne, P. Lebegue, A. Parrain, J.C. Routier, Jörg Würtz
Journal of Logic Programming
One binary Horn clause is enough
(pdf)
P. Devienne, P. Lebegue, J.C. Routier, Jörg Würtz
Symposium on Theoretical Aspects of Computer Science