Deciding the First-Order Theory of an Algebra of Feature Trees with Updates.

Nicolas Jeannerod, Ralf Treinen

Browse the full CADE paper archive.