EasyChair Smart Slide
Deciding the First-Order Theory of an Algebra of Feature Trees with Updates
Deciding the First-Order Theory of an Algebra of Feature Trees with Updates