{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:46:03Z","timestamp":1767339963644},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540582168"},{"type":"electronic","value":"9783540485735"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58216-9_48","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:36:04Z","timestamp":1330252564000},"page":"333-344","source":"Crossref","is-referenced-by-count":28,"title":["Projection in temporal logic programming"],"prefix":"10.1007","author":[{"given":"Zhenhua","family":"Duan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maciej","family":"Koutny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Holt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Barringer H., Kuiper R. and Pnueli A.: Now you may compose temporal logic specifications. Proceedings of 16th ACM Symposium on Theory of Computing, 51\u201363 (1984).","DOI":"10.1145\/800057.808665"},{"key":"24_CR2","unstructured":"Duan Z., Holt C. and Moszkowski B.: An interpreter for an executable subset of extended interval temporal logic with framing and concurrent operators. BCTCS 8, Newcastle upon Tyne, March (1992)."},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Kr\u00f6ger F.: Temporal logic of programs. Springer-Verlag (1987).","DOI":"10.1007\/978-3-642-71549-5"},{"key":"24_CR4","unstructured":"Lamport L.: The temporal logic of actions. Digital, System Design Center, December (1991)."},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Manner Z. and Pnueli A.: The temporal logic of reactive and concurrent systems. Springer-Verlag (1992).","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"24_CR6","volume-title":"Executing temporal logic programs","author":"B. Moszkowski","year":"1986","unstructured":"Moszkowski B.: Executing temporal logic programs. Cambridge University Press Cambridge (1986)."},{"key":"24_CR7","unstructured":"Ness L.: L.O: A parallel executable temporal logic language. Proceeding of the ACM SIGSOFT, International Workshop on Formal Methods in Software Development, Napa, California, May (1990)."},{"key":"24_CR8","unstructured":"Rosner R. and Pnueli A.: A choppy logic. First Annual IEEE Symposium on Logic In Computer Science, LNCS, Springer Verlag, 306\u2013314 (1986)."},{"key":"24_CR9","first-page":"425","volume-title":"Proceedings of IFIP'83 Congress","author":"Z. Tang","year":"1983","unstructured":"Tang Z.: Toward a unified logic basis for programming languages. Proceedings of IFIP'83 Congress, Amsterdam, Elsevier Science Publishers B.V. (North-Holland), 425\u2013429 (1983)."}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Automated Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58216-9_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:18:43Z","timestamp":1605629923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58216-9_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540582168","9783540485735"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-58216-9_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}