{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T02:27:57Z","timestamp":1777516077134,"version":"3.51.4"},"reference-count":70,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1990,9,1]],"date-time":"1990-09-01T00:00:00Z","timestamp":652147200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Machine Translation"],"published-print":{"date-parts":[[1990,9]]},"DOI":"10.1007\/bf00389818","type":"journal-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T04:26:44Z","timestamp":1099888004000},"page":"195-222","source":"Crossref","is-referenced-by-count":10,"title":["The theoretical basis of MiMo"],"prefix":"10.1007","volume":"5","author":[{"given":"Doug","family":"Arnold","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Louisa","family":"Sadler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Appelo, L., C. Fellinger and J. Landsbergen. 1987. Subgrammars, Rule Classes and Control in the Rosetta Translation System. Proceedings of the Third Conference of the European Chapter of the Association for Computational Linguistics, Copenhagen, 118?133.","DOI":"10.3115\/976858.976880"},{"key":"CR2","unstructured":"Appelo, L. and F. de Jong. 1987. Synonymy and Translation. Philips Research M.S. 14.269, Eindhoven."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"979","DOI":"10.1109\/PROC.1986.13577","volume":"74.7","author":"D. Arnol","year":"1986","unstructured":"Arnol, D. 1986. Eurotra: A European Perspective on MT. Proceedings of the IEEE, 74.7: 979?992.","journal-title":"Proceedings of the IEEE"},{"key":"CR4","unstructured":"Arnold, D. 1989. Theoretical and Descriptive Issues in Machine Translation. Ph.D. thesis, University of Essex, Colchester."},{"key":"CR5","unstructured":"Arnold, D., L. Jaspaert, R. Johnson, S. Krauwer, M. Rosner, L. des Tombe, G.B. Varile and S. Warwick. 1985. A Mu-1 View of the <C,A>, T Framework in Eurotra. Proceedings of the First International Conference on Theoretical and Methodological Issues in Machine Translation of Natural Languages, Colgate University, New York, 1?14."},{"key":"CR6","unstructured":"Arnold, D., S. Krauwer, M. Rosner, L. des Tombe and G.B. Varile. 1986. The <C,A>,T> Framework in Eurotra: A Theoretically Committed Notation for MT. Proceedings of coling-86, Bonn, 297?303."},{"key":"CR7","unstructured":"Arnold, D., S. Krauwer, L. Sadler and L. des Tombe. 1988. ?Relaxed? Compositionality in Machine Translation. Proceedings of the Second International Conference on Theoretical and Methodological Issues in Machine Translation of Natural Languages, Carnegie Mellon University, Pittsburgh; also published in Working Papers in Language Processing 5, Department of Language and Linguistics, University of Essex, Colchester."},{"key":"CR8","first-page":"23","volume-title":"Recent Developments and Applications of Natural Language Understanding","author":"D. Arnold","year":"1988","unstructured":"Arnold, D. and L. Sadler. 1988. (Non)-Compositionality and Translation. In J. Peckham (ed.), Recent Developments and Applications of Natural Language Understanding. London: Kogan Page, 23?55."},{"key":"CR9","series-title":"Working Papers in Language Processing","volume-title":"MiMo: Theoretical Aspects of the System","author":"D. Arnold","year":"1989","unstructured":"Arnold, D. and L. Sadler. 1989. MiMo: Theoretical Aspects of the System. Working Papers in Language Processing 6, Department of Language and Linguistics, University of Essex, Colchester."},{"key":"CR10","unstructured":"Arnold, D. and L. Sadler. Forthcoming. Some Formal Issues in Transfer. Machine Translation: Special Issue on Eurotra."},{"key":"CR11","first-page":"114","volume-title":"Machine Translation: Theoretical and Methodological Issues","author":"D. Arnold","year":"1987","unstructured":"Arnold, D., and L.des Tombe. 1987. Basic Theory and Methodology in Eurotra. In S. Nirenburg (ed.), Machine Translation: Theoretical and Methodological Issues. Cambridge: Cambridge University Press, 114?135."},{"key":"CR12","unstructured":"Bech, A., and A. Nygaard. 1988. The E-Framework: A Formalism for Natural Language Processing. Proceedings of coling-88, Budapest, 36?39."},{"key":"CR13","first-page":"111","volume-title":"Machine Translation Systems","author":"W.S. Bennett","year":"1988","unstructured":"Bennett, W.S., and J. Slocum. 1988. The LRC Machine Translation System. In J. Slocum (ed.), Machine Translation Systems. Cambridge: Cambridge University Press, 111?140."},{"key":"CR14","first-page":"133","volume-title":"Machine Translation Today","author":"C. Boitet","year":"1987","unstructured":"Boitet, C. 1987. Research and Development on MT and Related Techniques at Grenoble University (geta). In M. King (ed.), Machine Translation Today. Edinburgh: Edinburgh University Press, 133?153."},{"key":"CR15","first-page":"68","volume-title":"Machine Translation: Theoretical and Methodological Issues","author":"J. Carbonell","year":"1987","unstructured":"Carbonell, J., and M. Tomita. 1987. Knowledge-Based Machine Translation: The CMU Approach. In S. Nirenburg (ed.), Machine Translation: Theoretical and Methodological Issues. Cambridge: Cambridge University Press, 68?89."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1109\/TPAMI.1981.4767124","volume":"3","author":"J.G. Carbonell","year":"1981","unstructured":"Carbonell, J.G., R.E. Cullingford and A.V. Gershman. 1981. Steps Towards Knowledge-Based Machine Translation. IEEE Transactions on Pattern Analysis and Machine Intelligence 3: 376?392.","journal-title":"IEEE Transactions on Pattern Analysis and Machine Intelligence"},{"key":"CR17","volume-title":"Logics and Languages","author":"M.J. Cresswell","year":"1973","unstructured":"Cresswell, M.J. 1973. Logics and Languages. London: Methuen."},{"key":"CR18","first-page":"278","volume-title":"Machine Translation: Theoretical and Methodological Issues","author":"R.E. Cullingford","year":"1987","unstructured":"Cullingford, R.E. and B.A. Onyshkevych. 1987. An Experiment in Lexicon Driven Machine Translation. In S. Nirenburg (ed.), Machine Translation: Theoretical and Methodological Issues. Cambridge: Cambridge University Press, 278?301."},{"key":"CR19","series-title":"Technical Report","doi-asserted-by":"crossref","DOI":"10.21236\/ADA199183","volume-title":"Unitran: A Principle-Based Approach to Machine Translation","author":"B.J. Dorr","year":"1987","unstructured":"Dorr, B.J. 1987. Unitran: A Principle-Based Approach to Machine Translation. Technical Report 1000, MIT AI Lab., Cambridge, MA."},{"key":"CR20","volume-title":"The Language of Thought","author":"J.A. Fodor","year":"1975","unstructured":"Fodor, J.A. 1975. The Language of Thought. Hassocks, Sussex: Harvester Press."},{"key":"CR21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0010-0277(80)90015-3","volume":"8","author":"J. Fodor","year":"1980","unstructured":"Fodor, J., M. Garrett, E. Walker and C. Parkes. 1980. Against Definitions. Cognition 8: 1?105.","journal-title":"Cognition"},{"key":"CR22","volume-title":"Generalized Phrase Structure Grammar","author":"G. Gazdar","year":"1985","unstructured":"Gazdar, G., E. Klein, G. Pullum and I. Sag. 1985. Generalized Phrase Structure Grammar. Oxford: Blackwell."},{"key":"CR23","volume-title":"A Case Study in Knowledge-Based Machine Translation","year":"1989","unstructured":"Goodman, K., and S. Nirenburg, eds. Forthcoming. A Case Study in Knowledge-Based Machine Translation. San Mateo, CA: Morgan Kaufmann. (Cf. this journal, special issue on knowledge-based machine translation, Vol. 4, Nos. 1?2 (1989).)"},{"key":"CR24","doi-asserted-by":"crossref","first-page":"511","DOI":"10.2307\/411934","volume":"40","author":"David G. Hays","year":"1964","unstructured":"Hays, David G. 1964. Dependency Theory: A Formalism and Some Observations. Language 40: 511?525.","journal-title":"Language"},{"key":"CR25","unstructured":"Huang, X.-M. 1986. A Bidirectional Chinese Grammar in an MT System. Memo, MCCS-86-52, Computing Research Laboratory, New Mexico State University."},{"key":"CR26","unstructured":"Huang, X.-M. 1987. xtra: The Design and Implementation of a Fully Automatic Machine Translation System. Ph.D. thesis, University of Essex, Colchester."},{"key":"CR27","first-page":"247","volume-title":"Machine Translation Today","author":"P. Isabelle","year":"1987","unstructured":"Isabelle, P. 1987. Machine Translation at the taum Group. In M. King (ed.), Machine Translation Today. Edinburgh: Edinburgh University Press, 247?277."},{"key":"CR28","unstructured":"Isabelle, P. 1988. Reversible Logic Grammars for MT. Proceedings of the Second International Conference on Theoretical and Methodological Issues in Machine Translation of Natural Languages, Carnegie Mellon University, Pittsburgh."},{"key":"CR29","unstructured":"Isabelle, P., D. Dymetman and E. Macklovitch. 1988. critter: A Translation System for Agricultural Market Reports. Proceedings of coling-88, Budapest, 261?266."},{"key":"CR30","volume-title":"Foundations and Applications of Montague Grammar. Part 1: Philosophy, Framework, Computer Science","author":"T.M.V. Janssen","year":"1986","unstructured":"Janssen, T.M.V. 1986. Foundations and Applications of Montague Grammar. Part 1: Philosophy, Framework, Computer Science. Amsterdam: Centrum voor Wiskunde en Informatica."},{"key":"CR31","volume-title":"The Mental Representation of Grammatical Relations","author":"R. Kaplan","year":"1982","unstructured":"Kaplan, R. and J. Bresnan. 1982. Lexical Functional Grammar: A Formal System for Grammatical Representation. In J. Bresnan (ed.), The Mental Representation of Grammatical Relations. Cambridge, MA: MIT Press."},{"key":"CR32","unstructured":"Kaplan, R., J. Maxwell and A. Zaenan. 1987. Functional Uncertainty. CSLI Monthly, Vol. 2, No. 4, Stanford."},{"key":"CR33","doi-asserted-by":"crossref","unstructured":"Kaplan, R., K. Netter, J. Wedekind and A. Zaenan. 1989. Translation by Structural Correspondences. Proceedings of the Fourth Conference of the European Chapter of the Association for Computational Linguistics, Manchester, 272?81.","DOI":"10.3115\/976815.976852"},{"key":"CR34","volume-title":"Machine Translation Today","year":"1987","unstructured":"King, M., ed. 1987. Machine Translation Today. Edinburgh: Edinburgh University Press."},{"key":"CR35","unstructured":"Krauwer, S., and L. des Tombe. 1984. Transfer in a Multilingual MT System. Proceedings of coling-84, Stanford, 464?467."},{"key":"CR36","first-page":"113","volume-title":"Linguistic Theory and Computer Applications","author":"J. Landsbergen","year":"1987","unstructured":"Landsbergen, J. 1987a. Montague Grammar and Machine Translation. In P. Whitelock, M.M. Wood, H.L. Somers, R. Johnson and P. Bennett (eds.), Linguistic Theory and Computer Applications, London: Academic Press, 113?148."},{"key":"CR37","first-page":"351","volume-title":"Machine Translation Today","author":"J. Landsbergen","year":"1987","unstructured":"Landsbergen, J. 1987b. Isomorphic Grammars in the Rosetta Translation System. In M. King (ed.), Machine Translation Today. Edinburgh: Edinburgh University Press, 351?372."},{"key":"CR38","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/BF00935018","volume":"1","author":"R. Leermakers","year":"1986","unstructured":"Leermakers, R., and J. Rous. 1986. The Translation Method of Rosetta. Computers and Translation [now Machine Translation] 1: 169?183.","journal-title":"Computers and Translation [now Machine Translation]"},{"key":"CR39","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/BF00133843","volume":"4","author":"G. Legendre","year":"1986","unstructured":"Legendre, G. 1986. Object Raising in French: A Unified Account. Natural Language and Linguistic Theory 4: 137?83.","journal-title":"Natural Language and Linguistic Theory"},{"key":"CR40","volume-title":"Semantics","author":"J. Lyons","year":"1977","unstructured":"Lyons, J. 1977. Semantics (Vol. 1). Cambridge: Cambridge University Press."},{"key":"CR41","first-page":"209","volume-title":"Machine Translation Today","author":"H.-D. Maas","year":"1987","unstructured":"Maas, H.-D. 1987. The MT System susy. In M. King (ed), Machine Translation Today. Edinburgh: Edinburgh University Press, 209?246."},{"key":"CR42","first-page":"33","volume":"15","author":"M. C. McCord","year":"1989","unstructured":"McCord, M. C. 1989. Design of LMT: A Prolog-Based Machine Translation System. Computational Linguistics 15: 33?52.","journal-title":"Computational Linguistics"},{"key":"CR43","volume-title":"Dependency Syntax: Theory and Practice","author":"I. Mel'?uk","year":"1988","unstructured":"Mel'?uk, I. 1988. Dependency Syntax: Theory and Practice. Albany: State University of New York Press."},{"key":"CR44","first-page":"516","volume":"7","author":"J. Morreal","year":"1976","unstructured":"Morreal, J. 1976. The Non-Synonymy of kill and cause to die. Linguistic Inquiry 7: 516?18.","journal-title":"Linguistic Inquiry"},{"key":"CR45","doi-asserted-by":"crossref","unstructured":"Nagao, M., and J. Tsujii. 1986. The Transfer Phase of the Mu Machine Translation System. Proceedings of coling-86, Bonn, 97?103.","DOI":"10.3115\/991365.991392"},{"key":"CR46","first-page":"141","volume-title":"Machine Translation Systems","author":"M. Nagao","year":"1988","unstructured":"Nagao, M., J. Nakamura. 1988. The Japanese Government Project for Machine Translation. In J. Slocum (ed.), Machine Translation Systems. Cambridge: Cambridge University Press, 141?186."},{"key":"CR47","volume-title":"Machine Translation: Theoretical and Methodological Issues","year":"1987","unstructured":"Nirenburg, S. (ed.) 1987. Machine Translation: Theoretical and Methodological Issues. Cambridge: Cambridge University Press."},{"key":"CR48","first-page":"90","volume-title":"Machine Translation: Theoretical and Methodological Issues","author":"S. Nirenburg","year":"1987","unstructured":"Nirenburg, S., V. Raskin and A.B. Tucker. 1987. The Structure of Interlingua in translator. In S. Nirenburg (ed.), Machine Translation: Theoretical and Methodological Issues. Cambridge: Cambridge University Press, 90?113."},{"key":"CR49","unstructured":"Odijk, J. 1989. The Organisation of the Rosetta Grammars. Proceedings of the Fourth Conference of the European Chapter of the Association for Computational Linguistics, Manchester, 80?86."},{"key":"CR50","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(80)90003-X","volume":"13","author":"F.C.N. Pereira","year":"1980","unstructured":"Pereira, F.C.N., and D.H.D. Warren. 1980. Definite Clause Grammars for Language Analysis ? a Survey of the Formalism and a Comparison with Augmented Transition Networks. Artificial Intelligence 13: 231?278.","journal-title":"Artificial Intelligence"},{"key":"CR51","volume-title":"Word Meaning and Belief","author":"S.G. Pulman","year":"1983","unstructured":"Pulman, S.G. 1983. Word Meaning and Belief. London: Croom Helm."},{"key":"CR52","volume-title":"Minnesota Studies in the Philosophy of Science: Vol. 6","author":"H. Putnam","year":"1975","unstructured":"Putnam, H. 1975. The Meaning of Meaning. In K. Gunderson and G. Maxwell (eds.), Minnesota Studies in the Philosophy of Science: Vol. 6. Minneapolis: University of Minnesota Press; reprinted in H. Putnam, Mind, Language and Reality: Philosophical Papers: Vol. 2 (1975), Cambridge University Press, Cambridge, 215?271."},{"key":"CR53","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J.A. Robinson","year":"1965","unstructured":"Robinson, J.A. 1965. A Machine-Oriented Logic Based on the Resolution Principle. Journal of the ACM 12: 23?44.","journal-title":"Journal of the ACM"},{"key":"CR54","unstructured":"Sadler, L., I. Crookston, D. Arnold and A. Way. 1990. LFG and Translation. Proceedings of the Third International Conference on Theoretical and Methodological Issues in Machine Translation of Natural Languages, Linguistic Research Center, University of Texas at Austin."},{"key":"CR55","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1017\/S0022226700013098","volume":"15","author":"G. Sampson","year":"1979","unstructured":"Sampson, G. 1979. The Indivisibility of Words. Journal of Linguistics 15: 39?47.","journal-title":"Journal of Linguistics"},{"key":"CR56","doi-asserted-by":"crossref","DOI":"10.1515\/9783110876062","volume-title":"Metataxis. Contrastive Dependency Syntax for Machine Translation","author":"K. Schubert","year":"1987","unstructured":"Schubert, K. 1987. Metataxis. Contrastive Dependency Syntax for Machine Translation. Dordrecht: Foris."},{"key":"CR57","doi-asserted-by":"crossref","DOI":"10.1163\/9789004368842","volume-title":"The Grammar of Causative Constructions","author":"M. Shibatani","year":"1976","unstructured":"Shibatani, M. 1976. The Grammar of Causative Constructions. New York: Academic Press."},{"key":"CR58","series-title":"CSLI Lecture Notes","volume-title":"An Introduction to Unification-Based Approaches to Grammar","author":"S. M. Shieber","year":"1986","unstructured":"Shieber, S. M. 1986. An Introduction to Unification-Based Approaches to Grammar. CSLI Lecture Notes. Chicago: University of Chicago Press."},{"key":"CR59","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/S0747-7171(89)80012-4","volume":"7","author":"J.H. Siekmann","year":"1989","unstructured":"Siekmann, J.H. 1989. Unification Theory. Journal of Symbolic Computation 7: 207?250.","journal-title":"Journal of Symbolic Computation"},{"key":"CR60","series-title":"Eurotra-Essex Internal Memoranda","volume-title":"The MiMo French <-> English Demonstration System","author":"J. Simcoe-Shelton","year":"1990","unstructured":"Simcoe-Shelton, J. 1990. The MiMo French <-> English Demonstration System. Eurotra-Essex Internal Memoranda 17, Department of Language and Linguistics, University of Essex, Colchester."},{"key":"CR61","volume-title":"Machine Translation Systems","year":"1988","unstructured":"Slocum, J. (ed.). 1988. Machine Translation Systems. Cambridge: Cambridge University Press."},{"key":"CR62","volume-title":"El\u00e9ments de syntaxe structurale","author":"L. Tesni\u00e8re","year":"1959","unstructured":"Tesni\u00e8re, L. 1959. El\u00e9ments de syntaxe structurale, Paris: Klincksieck."},{"key":"CR63","unstructured":"van Noord, G. 1987. MiMo 3.7 User Manual, Department of Linguistics, University of Utrecht."},{"key":"CR64","doi-asserted-by":"crossref","unstructured":"van Noord, G., J. Dorrepaal, D. Arnold, S. Krauwer, L. Sadler and L. des Tombe. 1989. An Approach to Sentence-Level Anaphora in Machine Translation. Proceedings of the Fourth Conference of the European Chapter of the Association for Computational Linguistics, Manchester, 299?307.","DOI":"10.3115\/976815.976855"},{"key":"CR65","unstructured":"van der Eijk, P. 1988. Linguistic Analysis in the MiMo Translation System. Working Papers in Natural Language Processing 3, Taal Technologie, Utrecht University and K.U. Leuven."},{"key":"CR66","first-page":"85","volume-title":"Machine Translation Systems","author":"B. Vauquois","year":"1988","unstructured":"Vauquois, B., and C. Boitet. 1988. Automated Translation at Grenoble University. In J. Slocum (ed.), Machine Translation Systems. Cambridge: Cambridge University Press, 85?110."},{"key":"CR67","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/BF00935017","volume":"1","author":"J. Wanjing","year":"1986","unstructured":"Wanjing, J., and Simmons, R.F. 1986. Symmetric Rules for Translation of English and Chinese. Computers and Translation [now Machine Translation] 1: 153?169.","journal-title":"Computers and Translation [now Machine Translation]"},{"key":"CR68","first-page":"114","volume-title":"Computer Models of Thought and Language","author":"Y.A. Wilks","year":"1973","unstructured":"Wilks, Y.A. 1973. An Artificial Intelligence Approach to Machine Translation. In R.C. Schank and K.M. Colby (eds.) Computer Models of Thought and Language. San Francisco: Freeman & Co., 114?151."},{"key":"CR69","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0004-3702(75)90016-8","volume":"6","author":"Y.A. Wilks","year":"1975","unstructured":"Wilks, Y.A. 1975. A Preferential, Pattern Seeking Semantics for Natural Language Understanding. Artificial Intelligence 6: 53?74.","journal-title":"Artificial Intelligence"},{"key":"CR70","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/B978-0-12-108550-6.50007-0","volume-title":"Representation and Understanding","author":"W. Woods","year":"1975","unstructured":"Woods, W. 1975. What's in a Link: Foundations for Semantic Networks. In D.G. Bobrow and A. Collins (eds.), Representation and Understanding. New York: Academic Press, 35?82."}],"container-title":["Machine Translation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00389818.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00389818\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00389818","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,30]],"date-time":"2023-04-30T01:01:55Z","timestamp":1682816515000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00389818"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,9]]},"references-count":70,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1990,9]]}},"alternative-id":["BF00389818"],"URL":"https:\/\/doi.org\/10.1007\/bf00389818","relation":{},"ISSN":["0922-6567","1573-0573"],"issn-type":[{"value":"0922-6567","type":"print"},{"value":"1573-0573","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,9]]}}}