Deciding Knowledge Problems Modulo Classes of Permutative Theories.

Serdar Erbatur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen

Browse the full LOPSTR paper archive.