One Binary Horn Clause is Enough.

Philippe Devienne, Patrick Lebgue, Jean-Christophe Routier, Jrg Wrtz

Browse the full STACS paper archive.