Many-valued Horn Logic is Hard.

Stefan Borgwardt, Marco Cerami, Rafael Pealoza

Browse the full CADE paper archive.