{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:37Z","timestamp":1725456037849},"publisher-location":"Berlin\/Heidelberg","reference-count":14,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540566678"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0019010","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T00:50:41Z","timestamp":1132620641000},"page":"255-266","source":"Crossref","is-referenced-by-count":0,"title":["An efficient decision algorithm for feature logic"],"prefix":"10.1007","author":[{"given":"Esther","family":"K\u00f6nig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/0304-3975(86)90047-2","volume":"45","author":"H. Ait-Kaci","year":"1986","unstructured":"Hassan Ait-Kaci. An algebraic semantics approach to the effective resolution of type equations. Theoretical Computer Science, 45:293\u2013351, 1986.","journal-title":"Theoretical Computer Science"},{"key":"22_CR2","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0743-1066(86)90013-0","volume":"3","author":"H. Ait-Kaci","year":"1986","unstructured":"Hassan Ait-Kaci and Roger Nasr. LOGIN: A logic programming language with built-in inheritance. Journal of Logic Programming, 3:185\u2013215, 1986.","journal-title":"Journal of Logic Programming"},{"key":"22_CR3","first-page":"101","volume":"7","author":"R.S. Boyer","year":"1972","unstructured":"R.S. Boyer and J.S. Moore. The sharing of structure in theorem proving programs. Machine Intelligence, 7:101\u2013116, 1972.","journal-title":"Machine Intelligence"},{"key":"22_CR4","volume-title":"Report 124","author":"A. Eisele","year":"1990","unstructured":"Andreas Eisele and Jochen D\u00f6rre. Disjunctive unification. Report 124, Institute for Knowledge Based Systems, IBM Germany Science Center, Stuttgart, Baden-W\u00fcrttemberg, 1990."},{"key":"22_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-0357-2","volume-title":"First-Order Logic and Automated Theorem Proving","author":"M. Fitting","year":"1990","unstructured":"Melvin Fitting. First-Order Logic and Automated Theorem Proving. Springer, New York, 1990."},{"key":"22_CR6","volume-title":"volume 16 of CSLI Lecture Notes","author":"M. Johnson","year":"1988","unstructured":"Mark Johnson. Attribute-Value Logic and the Theory of Grammar, volume 16 of CSLI Lecture Notes, Center for the Study of Language and Information, Stanford, Ca., 1988."},{"key":"22_CR7","volume-title":"PhD thesis","author":"R. T. Kasper","year":"1987","unstructured":"Robert T. Kasper. Feature Structures: A Logical Theory with Application to Language Analysis, PhD thesis, University of Michigan, Ann Arbor, Michigan, 1987."},{"key":"22_CR8","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/BF00630516","volume":"13","author":"R. T. Kasper","year":"1990","unstructured":"Robert T. Kasper and William C. Rounds. The logic of unification in grammar. Linguistics and Philosophy, 13:35\u201358, 1990.","journal-title":"Linguistics and Philosophy"},{"key":"22_CR9","unstructured":"John T. Maxwell III and Ronald M. Kaplan. An overview of disjunctive constraint satisfaction. In Proceedings of the International Workshop on Parsing Technologies, pages 18\u201327, Pittsburgh, PA, 1989."},{"key":"22_CR10","volume-title":"volume 13 of Lecture Notes","author":"C. Pollard","year":"1987","unstructured":"Carl Pollard and Ivan Sag. An Information-Based Syntax and Semantics. I. Fundamentals, volume 13 of Lecture Notes. Center for Study of Language and Information, Stanford, Ca., 1987."},{"key":"22_CR11","volume-title":"Lecture Notes","author":"S. M. Shieber","year":"1986","unstructured":"Stuart M. Shieber. An Introduction to Unification-Based Approaches to Grammar. Lecture Notes. Center for the Study of Language and Information, Stanford, Ca., 1986."},{"key":"22_CR12","volume-title":"Technical Report 33","author":"G. Smolka","year":"1988","unstructured":"Gert Smolka. A feature logic with subsorts. Technical Report 33, IBM Deutschland, Institute for Knowledge-Based Systems, Stuttgart, Baden-W\u00fcrttemberg, 1988. To appear in Journal of Automated Reasoning."},{"key":"22_CR13","volume-title":"Technical Report 93","author":"G. Smolka","year":"1989","unstructured":"Gert Smolka. Feature constraint logics for unification grammars. Technical Report 93, IBM Deutschland, Institute for Knowledge-Based Systems, Stuttgart, Baden-W\u00fcrttemberg, 1989."},{"key":"22_CR14","volume-title":"PhD thesis","author":"J. Wedekind","year":"1990","unstructured":"J\u00fcrgen Wedekind. Unifikationsgrammatiken und ihre Logik. PhD thesis, Universit\u00e4t Stuttgart, Stuttgart, Baden-W\u00fcrttemberg, 1990. Sonderforschungsbereich 340, Bericht 8-1991."}],"container-title":["Lecture Notes in Computer Science","GWAI-92: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0019010.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:41:56Z","timestamp":1607532116000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019010"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540566678"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0019010","relation":{},"subject":[]}}