On Word Problems in Horn Theories.

Emmanuel Kounalis, Michal Rusinowitch

Browse the full CADE paper archive.