Emmanuel Kounalis Michaël Rusinowitch On Word Problems in Horn Theories. 144-160 1987 conf/ctrs/1987 CTRS db/conf/ctrs/ctrs87.html#KounalisR87