{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,27]],"date-time":"2026-09-27T05:12:01Z","timestamp":1790485921729,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540232070","type":"print"},{"value":"9783540302032","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30203-2_23","type":"book-chapter","created":{"date-parts":[[2010,9,21]],"date-time":"2010-09-21T14:59:27Z","timestamp":1285081167000},"page":"319-335","source":"Crossref","is-referenced-by-count":78,"title":["Representing First-Order Logic Using Graphs"],"prefix":"10.1007","author":[{"given":"Arend","family":"Rensink","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"2-3","key":"23_CR1","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/BF01692060","volume":"20","author":"M. Bauderon","year":"1987","unstructured":"Bauderon, M., Courcelle, B.: Graph expressions and graph rewritings. Mathematical Systems Theory\u00a020(2-3), 83\u2013127 (1987)","journal-title":"Mathematical Systems Theory"},{"key":"23_CR2","first-page":"524","volume-title":"Principles of Knowledge Representation and Reasoning","author":"M. Chein","year":"1998","unstructured":"Chein, M., Mugnier, M.-L., Simonet, G.: Nested graphs: A graph-based knowledge representation model with FOL semantics. In: Cohn, Schubert, Shapiro (eds.) Principles of Knowledge Representation and Reasoning, pp. 524\u2013535. Morgan Kaufmann, San Francisco (1998)"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., L\u00f6we, M.: Algebraic approaches to graph transformation, part I: Basic concepts and double pushout approach. In: Rozenberg [16], ch. 3, pp. 163\u2013246","DOI":"10.1142\/9789812384720_0003"},{"issue":"1-2","key":"23_CR4","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0304-3975(98)00306-5","volume":"224","author":"B. Courcelle","year":"1999","unstructured":"Courcelle, B.: The monadic second-order logic of graphs XI: Hierarchical decompositions of connected graphs. Theoretical Comput. Sci.\u00a0224(1-2), 35\u201358 (1999)","journal-title":"Theoretical Comput. Sci."},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Dau, F.: The Logic System of Concept Graphs with Negation. LNCS, vol. 2892. Springer, Heidelberg (2003)","DOI":"10.1007\/b94030"},{"key":"23_CR6","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/978-3-642-95486-3_7","volume-title":"The Book of L","author":"H. Ehrig","year":"1986","unstructured":"Ehrig, H., Habel, A.: Graph grammars with application conditions. In: Rozenberg, Salomaa (eds.) The Book of L, pp. 87\u2013100. Springer, Heidelberg (1986)"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-540-30203-2_21","volume-title":"Graph Transformations","author":"H. Ehrig","year":"2004","unstructured":"Ehrig, H., Ehrig, K., Habel, A., Pennemann, K.-H.: Constraints and application conditions: From graphs to high-level structures. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 287\u2013303. Springer, Heidelberg (2004)"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Heckel, R., Korff, M., L\u00f6we, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic approaches to graph transformation, part II: Single pushout approach and comparison with double pushout approach. In: Rozenberg, G. [16], pp. 247\u2013312","DOI":"10.1142\/9789812384720_0004"},{"key":"23_CR9","series-title":"Applications, Languages and Tools","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"C. Ermel","year":"1999","unstructured":"Ermel, C., Rudolf, M., Taentzer, G.: The AGG approach: language and environment. In: Ehrig, et al. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools, vol.\u00a0II, World Scientific, Singapore (1999)"},{"issue":"3\/4","key":"23_CR10","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1996-263404","volume":"26","author":"A. Habel","year":"1996","unstructured":"Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae\u00a026(3\/4), 287\u2013313 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Heckel, R., Wagner, A.: Ensuring consistency of conditional graph grammars \u2014 a constructive approach. ENTCS, vol.\u00a02 (1995)","DOI":"10.1016\/S1571-0661(05)80188-4"},{"key":"23_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-45931-6_16","volume-title":"Foundations of Software Science and Computation Structures","author":"M. Koch","year":"2002","unstructured":"Koch, M., Mancini, L.V., Parisi-Presicce, F.: Conflict detection and resolution in access control policy specifications. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol.\u00a02303, pp. 223\u2013238. Springer, Heidelberg (2002)"},{"key":"23_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-39958-2_5","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"C. Pierik","year":"2003","unstructured":"Pierik, C., de Boer, F.S.: A syntax-directed hoare logic for object-oriented programming concepts. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, pp. 64\u201378. Springer, Heidelberg (2003)"},{"key":"23_CR14","doi-asserted-by":"crossref","DOI":"10.1515\/9783110226225","volume-title":"The Existential Graphs of Charles S. Peirce","author":"D.D. Roberts","year":"1973","unstructured":"Roberts, D.D.: The Existential Graphs of Charles S. Peirce. Mouton and Co., Netherlands (1973)"},{"key":"23_CR15","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/0898-1221(92)90127-4","volume":"6","author":"D.D. Roberts","year":"1992","unstructured":"Roberts, D.D.: The existential graphs. Computers and Mathematics with Applications\u00a06, 639\u2013663 (1992)","journal-title":"Computers and Mathematics with Applications"},{"key":"23_CR16","series-title":"Foundations","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol.\u00a0I. World Scientific, Singapore (1997)"},{"key":"23_CR17","volume-title":"Conceptual Structures: Information Processing in Mind and Machine","author":"J.F. Sowa","year":"1984","unstructured":"Sowa, J.F.: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading (1984)"},{"key":"23_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/3-540-60161-9_47","volume-title":"Conceptual Structures: Applications, Implementation and Theory","author":"M. Wermelinger","year":"1995","unstructured":"Wermelinger, M.: Conceptual graphs and first-order logic. In: Ellis, G., Rich, W., Levinson, R., Sowa, J.F. (eds.) ICCS 1995. LNCS, vol.\u00a0954, pp. 323\u2013337. Springer, Heidelberg (1995)"}],"container-title":["Lecture Notes in Computer Science","Graph Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30203-2_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:54:48Z","timestamp":1619999688000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30203-2_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232070","9783540302032"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30203-2_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}