Paul John King, Kiril Ivanov Simov. The Automatic Deduction of Classificatory Systems from Linguistic Theories (Abridged). In Christian Retoré, editor, Logical Aspects of Computational Linguistics, First International Conference, LACL 96, Nancy, France, September 23-25, 1996, Selected Papers. Volume 1328 of Lecture Notes in Computer Science, pages 248-273, Springer, 1996. [doi]
Abstract is missing.