{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T21:13:56Z","timestamp":1649020436850},"reference-count":36,"publisher":"Informa UK Limited","issue":"3-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2006,1]]},"DOI":"10.3166\/jancl.16.409-431","type":"journal-article","created":{"date-parts":[[2007,4,11]],"date-time":"2007-04-11T13:06:10Z","timestamp":1176296770000},"page":"409-431","source":"Crossref","is-referenced-by-count":1,"title":["Relational proof systems for spatial reasoning \u2605"],"prefix":"10.1080","volume":"16","author":[{"given":"Joanna","family":"Goli\u0144ska-Pilarek","sequence":"first","affiliation":[{"name":"a National Institute of Telecommunications , Warsaw , Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ewa","family":"Orlowska","sequence":"additional","affiliation":[{"name":"a National Institute of Telecommunications , Warsaw , Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.2002.9736483"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093883455"},{"key":"CIT0003","volume-title":"RelDT: A relational dual tableaux automated theorem prover","author":"DALLIEN J.","year":"2005"},{"key":"CIT0004","doi-asserted-by":"crossref","first-page":"229","DOI":"10.3233\/FI-1999-39301","volume":"39","author":"D\u00dcNTSCH I.","year":"1999","journal-title":"Fundamenta Informaticae"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004764610651"},{"key":"CIT0006","first-page":"381","volume":"69","author":"D\u00dcNTSCH I.","year":"2000","journal-title":"Studia Logica"},{"key":"CIT0007","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/978-3-7908-1828-4_7","volume-title":"Relational Methods for Computer Science Applications","author":"D\u00dcNTSCH I.","year":"2001"},{"key":"CIT0008","first-page":"71","volume":"46","author":"D\u00dcNTSCH I.","year":"2001","journal-title":"Fundamenta Informaticae"},{"key":"CIT0009","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/S0304-3975(99)00156-5","volume":"255","author":"D\u00dcNTSCH I.","year":"2001","journal-title":"Theoretical Computer Science"},{"key":"CIT0010","volume-title":"A representation theorem for Boolean contact algebras","author":"D\u00dcNTSCH I.","year":"2003"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-004-5899-8"},{"key":"CIT0012","volume-title":"Fifth International Symposium on Spatial Data Handling","author":"EGENHOFER M.","year":"1992"},{"key":"CIT0013","series-title":"Fachberichte Informatik No 12","first-page":"1","volume-title":"TABLEAUX 2005 Position Papers and Tutorial Descriptions","author":"FORMISANO A.","year":"2005"},{"key":"CIT0014","volume-title":"Theory and Applications of Relational Structures as Knowledge Instruments II","author":"GOLI\u0143 SKA-PILAREK J.","year":"2006"},{"key":"CIT0015","author":"GOLI\u0143SKA-PILAREK J.","year":"2006","journal-title":"Studia Logica"},{"key":"CIT0016","first-page":"245","volume-title":"Algebraic Logic, vol. 54 of Colloquia Mathematica Societatis J\u00e1nos Bolyai","author":"J\u00d3NSSON B.","year":"1991"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1145\/176584.176585"},{"key":"CIT0018","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4064\/fm-14-1-1-81","volume":"14","author":"LE\u015a NIEWSKI S.","year":"1929","journal-title":"Fundamenta Mathematicae"},{"key":"CIT0019","first-page":"7","volume":"2","author":"LE\u015a NIEWSKI S.","year":"1983","journal-title":"Topoi"},{"key":"CIT0020","doi-asserted-by":"crossref","first-page":"707","DOI":"10.2307\/1969375","volume":"51","author":"LYNDON R.","year":"1950","journal-title":"Annals of Mathematics"},{"key":"CIT0021","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1023\/A:1020572931854","volume":"71","author":"MACCAULL W.","year":"2002","journal-title":"Studia Logica"},{"issue":"3","key":"CIT0022","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1007\/BF00370681","volume":"50","author":"MADDUX R.","year":"1991","journal-title":"Studia Logica"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1307\/mmj\/1028999131"},{"key":"CIT0024","volume-title":"private communication","author":"MORMANN T.","year":"2003"},{"key":"CIT0025","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-94-017-2798-3_5","volume-title":"Proof Theory of Modal Logics","author":"OR\u0141OWSKA E.","year":"1996"},{"key":"CIT0026","volume-title":"Rasiowa-Sikorski Proof Systems in Relation Algebra","author":"OR\u0141OWSKA E.","year":"2004"},{"key":"CIT0027","first-page":"165","volume-title":"Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning","author":"RANDELL D. A.","year":"1992"},{"key":"CIT0028","volume-title":"The Mathematics of Metamathematics","author":"RASIOWA H.","year":"1963"},{"key":"CIT0029","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"SCHMIDT G.","year":"1993"},{"key":"CIT0030","volume-title":"Relational language","author":"SCHMIDT G.","year":"2003"},{"key":"CIT0031","volume-title":"Parts. A Study in Ontology","author":"SIMONS P.","year":"1987"},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00045-X"},{"key":"CIT0033","volume-title":"Stanis\u0142aw Le\u00b4sniewski: Collected works","author":"SURMA S. J.","year":"1992"},{"key":"CIT0034","doi-asserted-by":"publisher","DOI":"10.2307\/2268577"},{"key":"CIT0035","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1016\/S1385-7258(55)50009-6","volume":"17","author":"TARSKI A.","year":"1955","journal-title":"Indagationes Mathematicae"},{"issue":"3","key":"CIT0036","doi-asserted-by":"crossref","first-page":"527","DOI":"10.3166\/jancl.12.527-559","volume":"12","author":"VAKARELOV D.","year":"2002","journal-title":"Journal of Applied Non-Classical Logics"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.16.409-431","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,21]],"date-time":"2020-04-21T10:09:03Z","timestamp":1587463743000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.16.409-431"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1]]},"references-count":36,"journal-issue":{"issue":"3-4","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2006,1]]}},"alternative-id":["10.3166\/jancl.16.409-431"],"URL":"https:\/\/doi.org\/10.3166\/jancl.16.409-431","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,1]]}}}