{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T03:22:44Z","timestamp":1649215364008},"reference-count":19,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[2000,8,1]],"date-time":"2000-08-01T00:00:00Z","timestamp":965088000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4733,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2000,8]]},"DOI":"10.1016\/s0167-6423(99)00043-x","type":"journal-article","created":{"date-parts":[[2002,10,31]],"date-time":"2002-10-31T16:12:04Z","timestamp":1036080724000},"page":"1-25","source":"Crossref","is-referenced-by-count":7,"title":["Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem"],"prefix":"10.1016","volume":"38","author":[{"given":"Rudolf","family":"Berghammer","sequence":"first","affiliation":[]},{"given":"Thorsten","family":"Hoffmann","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0167-6423(99)00043-X_BIB1","unstructured":"R. Behnke, Prototyping relational specifications and programs with Rel View, in: B. Buth, R. Berg-hammer, J. Peleska, (Eds.), Tools for System Development and Verification, BISS Monographs, Vol. 1, Shaker, 1998, pp. 22\u201342."},{"key":"10.1016\/S0167-6423(99)00043-X_BIB2","unstructured":"R. Behnke, Transformational program development in the framework of relational and sequential algebras, Ph.D. Thesis, Institut f\u00fcr Informatik und Praktische Mathematik, Universit\u00e4t Kiel, 1998, (in German)."},{"key":"10.1016\/S0167-6423(99)00043-X_BIB3","unstructured":"R. Behnke, R. Berghammer, P. Schneider, Machine support of relational computations, The Kiel RELVIEW system, Report 9711, Institut f\u00fcr Informatik und Praktische Mathematik, Universit\u00e4t Kiel, 1997."},{"key":"10.1016\/S0167-6423(99)00043-X_BIB4","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/S0020-0255(99)00012-2","article-title":"Combining relational calculus and the Dijkstra\u2013Gries method for deriving relational programs","volume":"119","author":"Berghammer","year":"1999","journal-title":"Inform. Sci."},{"key":"10.1016\/S0167-6423(99)00043-X_BIB5","doi-asserted-by":"crossref","unstructured":"R. Berghammer, T. Gritzne, G. Schmidt, Prototyping relational specifications using higher-order objects, J. Heering, K. Meinke, B. M\u00f6ller, T. Nipkow (Eds.), Proc. Workshop \u201cHigher Order Algebra, Logic and Term Rewriting\u201d, Lecture Notes in Computer Science, Vol. 816, Springer, Berlin, 1994, pp. 56\u201375.","DOI":"10.1007\/3-540-58233-9_4"},{"key":"10.1016\/S0167-6423(99)00043-X_BIB6","series-title":"Relational Methods in Computer Science, Advances in Comput. Sci.","first-page":"131","article-title":"Algorithms from relational specifications","author":"Berghammer","year":"1997"},{"key":"10.1016\/S0167-6423(99)00043-X_BIB7","first-page":"49","article-title":"Relation-algebraic analysis of Petri nets with Rel View","volume":"Vol. 1055","author":"Berghammer","year":"1996"},{"key":"10.1016\/S0167-6423(99)00043-X_BIB8","series-title":"Proc. 4th Conf. \u201cMathematics of Program Construction\u201d","first-page":"23","article-title":"Relation-algebraic derivation of spanning tree algorithms","volume":"1422","author":"Berghammer","year":"1998"},{"key":"10.1016\/S0167-6423(99)00043-X_BIB9","doi-asserted-by":"crossref","unstructured":"C. Brink, W. Kahl, G. Schmidt (Eds.), Relational methods in Computer Science, Advances in Comput. Sci., Springer, Berlin, 1997.","DOI":"10.1007\/978-3-7091-6510-2"},{"key":"10.1016\/S0167-6423(99)00043-X_BIB10","series-title":"Introduction to Algorithms","author":"Cormen","year":"1990"},{"key":"10.1016\/S0167-6423(99)00043-X_BIB11","series-title":"A Discipline of Programming","author":"Dijkstra","year":"1976"},{"key":"10.1016\/S0167-6423(99)00043-X_BIB12","series-title":"The Science of Computer Programming","author":"Gries","year":"1981"},{"key":"10.1016\/S0167-6423(99)00043-X_BIB13","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0020-0190(94)00205-D","article-title":"Sequential calculus","volume":"53","author":"Hoare","year":"1995","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/S0167-6423(99)00043-X_BIB14","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/S0020-0190(97)00035-5","article-title":"Computing kernels in directed bichromatic graphs","volume":"62","author":"van Karger","year":"1997","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/S0167-6423(99)00043-X_BIB15","unstructured":"F. Lindecke, Relation-algebraic investigation of problems on finite automata (in German). M.Sc. Thesis, Institut f\u00fcr Informatik und Praktische Mathematik, Universit\u00e4t Kiel, 1999."},{"key":"10.1016\/S0167-6423(99)00043-X_BIB16","series-title":"Theory of Games and Economic Behaviour","author":"von Neumann","year":"1944"},{"key":"10.1016\/S0167-6423(99)00043-X_BIB17","doi-asserted-by":"crossref","first-page":"573","DOI":"10.2307\/1969755","article-title":"Solutions of irreflexive relations","volume":"58","author":"Richardson","year":"1953","journal-title":"Ann. Math."},{"key":"10.1016\/S0167-6423(99)00043-X_BIB18","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1137\/0606006","article-title":"On kernels of graphs and solutions of games: a synopsis based on relations and fixpoints","volume":"6","author":"Schmidt","year":"1985","journal-title":"SIAM J. Alg. Discrete Meth."},{"key":"10.1016\/S0167-6423(99)00043-X_BIB19","series-title":"Relations and graphs, Discr. Math. Comput. Sci., EATCS Monographs on Theoret. Comput. Sci.","author":"Schmidt","year":"1993"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016764239900043X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016764239900043X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T03:23:17Z","timestamp":1555816997000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S016764239900043X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,8]]},"references-count":19,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2000,8]]}},"alternative-id":["S016764239900043X"],"URL":"https:\/\/doi.org\/10.1016\/s0167-6423(99)00043-x","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[2000,8]]}}}