Decidability and Undecidability in stand-alone Feature Logics Patrick Blackburn author Edith Spaan author 1993-04 text Sixth Conference of the European Chapter of the Association for Computational Linguistics Steven Krauwer editor Michael Moortgat editor Louis des Tombe editor Association for Computational Linguistics Utrecht, The Netherlands conference publication blackburn-spaan-1993-decidability https://aclanthology.org/E93-1005/ 1993-04