Decidability and Undecidability in stand-alone Feature Logics

43702

Related Entities