One Binary Horn Clause is Enough.

Philippe Devienne Patrick Lebègue Jean-Christophe Routier Jörg Würtz One Binary Horn Clause is Enough. 21-32 1994 conf/stacs/1994 STACS db/conf/stacs/stacs94.html#DevienneLRW94 http://dx.doi.org/10.1007/3-540-57785-8_128