One Binary Horn Clause is Enough (0)

by P Devienne, P Leb`egue, J C Routier, J Wurtz
Venue:Proceedings of STACS'94, Springer--Verlag, Caen