{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T13:10:25Z","timestamp":1765545025847},"reference-count":11,"publisher":"Elsevier BV","issue":"3-4","license":[{"start":{"date-parts":[[2001,12,1]],"date-time":"2001-12-01T00:00:00Z","timestamp":1007164800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Sciences"],"published-print":{"date-parts":[[2001,12]]},"DOI":"10.1016\/s0020-0255(01)00163-3","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T10:01:51Z","timestamp":1027591311000},"page":"167-186","source":"Crossref","is-referenced-by-count":16,"title":["Relational depth-first-search with applications"],"prefix":"10.1016","volume":"139","author":[{"given":"Rudolf","family":"Berghammer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thorsten","family":"Hoffmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0020-0255(01)00163-3_BIB1","series-title":"Tools for System Development and Verification","first-page":"22","article-title":"Prototyping relational specifications and programs with RelView","author":"Behnke","year":"1998"},{"key":"10.1016\/S0020-0255(01)00163-3_BIB2","series-title":"Proceedings of the 2nd Workshop on Tools and Applications for the Construction and Analysis of Systems (TACAS'96)","first-page":"49","article-title":"Relation-algebraic analysis of Petri nets with RelView","volume":"vol. 1055","author":"Berghammer","year":"1996"},{"key":"10.1016\/S0020-0255(01)00163-3_BIB3","series-title":"Introduction to Algorithms","author":"Cormen","year":"1990"},{"key":"10.1016\/S0020-0255(01)00163-3_BIB4","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/258949.258955","article-title":"Functional programming with graphs","volume":"32","author":"Erwig","year":"1997","journal-title":"ACM SIGPLAN Notices"},{"key":"10.1016\/S0020-0255(01)00163-3_BIB5","unstructured":"C. Hattensperger, Computer-aided proofs in heterogeneous relational algebras, Ph.D. Thesis, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t der Bundeswehr M\u00fcnchen, 1997 (in German)"},{"key":"10.1016\/S0020-0255(01)00163-3_BIB6","unstructured":"T. Hoffmann, Case studies in relational program development, Ph.D. Thesis, Institut f\u00fcr Informatik und Praktische Mathematik, Universit\u00e4t Kiel (in German) (in preparation)"},{"key":"10.1016\/S0020-0255(01)00163-3_BIB7","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1145\/362248.362272","article-title":"Efficient algorithms for graph manipulation","volume":"16","author":"Hopcroft","year":"1973","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0020-0255(01)00163-3_BIB8","series-title":"Proceedings of the 22nd ACM Symposium on Principles of Programming Languages","first-page":"344","article-title":"Structuring depth-first search algorithms in Haskell","author":"King","year":"1995"},{"key":"10.1016\/S0020-0255(01)00163-3_BIB9","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1007\/s002360050182","article-title":"Two graph algorithms derived","volume":"36","author":"Ravelo","year":"1999","journal-title":"Acta Informatica"},{"key":"10.1016\/S0020-0255(01)00163-3_BIB10","series-title":"Relations and Graphs, Discrete Mathematics for Computer Scientists","author":"Schmidt","year":"1993"},{"key":"10.1016\/S0020-0255(01)00163-3_BIB11","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1137\/0201010","article-title":"Depth-first search and linear graph algorithms","volume":"1","author":"Tarjan","year":"1972","journal-title":"SIAM Journal of Computing"}],"container-title":["Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020025501001633?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020025501001633?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T11:24:47Z","timestamp":1556882687000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020025501001633"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,12]]},"references-count":11,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2001,12]]}},"alternative-id":["S0020025501001633"],"URL":"https:\/\/doi.org\/10.1016\/s0020-0255(01)00163-3","relation":{},"ISSN":["0020-0255"],"issn-type":[{"value":"0020-0255","type":"print"}],"subject":[],"published":{"date-parts":[[2001,12]]}}}