{"as_of":"2026-08-18T07:08:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c7c99b7be6739150e6e3ab309998a441eb44a22c8f74d544ed61b125eebcac85","coverage":[{"denominator":39,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":39,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T10:54:15.356137Z","state":"measured"},{"denominator":39,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":39,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/1908.10203/citation-record","integrity":"/paper/1908.10203/integrity","json":"/paper/1908.10203/citation-record.json","paper":"/paper/1908.10203"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.822170Z","title":null,"venue":null,"work_id":"d7c95c8e-5560-4795-9ddf-f7276e9574e9","year":2018},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.214435Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:38174ffe331f933beb75de7fbed5aaf48dc94ff105263d96725fe96a99812242","observation_id":"20e027a5-1f40-4bbb-b1a1-a39260846639","resolution":{"observed_at":"2026-08-14T10:54:15.826653Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.812858Z","title":null,"venue":null,"work_id":"116c9165-4d36-4325-a05f-20b71e184281","year":2017},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.219438Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:f0d1be7ce9c226873ec294697b554c407af2990a68e0cbc4b3666f2bbe887dcc","observation_id":"b324943d-6456-4abd-991b-294e3d3af575","resolution":{"observed_at":"2026-08-14T10:54:15.816199Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1608.03650","last_updated":"2016-08-12T01:17:09Z","snapshot_observed_at":"2026-08-14T21:44:27.774652Z","submitted_at":"2016-08-12T01:17:09Z","title":"MiniZinc with Strings","version":1},"cited_work":{"arxiv_id":"1608.03650","doi":null,"metadata_source":"pith","pith_arxiv_id":"1608.03650","snapshot_observed_at":"2026-08-14T10:54:15.416519Z","title":"MiniZinc with Strings","venue":"cs.PL","work_id":"28faccac-4b0c-4e2e-b884-cf406038e4e5","year":2016},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.223240Z"},"links":{"cited_paper":"/paper/1608.03650","citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:906e8abda86a8710b4915cc7935b6e21abb2e4246a8af2313fd494de0ce36840","observation_id":"34a08782-4bff-44d0-80bd-4b002d7d3086","resolution":{"observed_at":"2026-08-14T10:54:15.420127Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.801676Z","title":"Amadini, G","venue":null,"work_id":"b3ac10a1-0023-4a06-99e8-19004f60bc10","year":2017},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.227398Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:90ddc20ca07a9826982ade138d9221f65b3cca031b13b046269e7d3278d8d081","observation_id":"e985af88-2283-4f54-861c-2506bddfb5de","resolution":{"observed_at":"2026-08-14T10:54:15.805227Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.791085Z","title":"Barrett, C","venue":null,"work_id":"0b363b15-9385-4e54-bdbd-a11b31f1be09","year":2011},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.232724Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:d619b83dc32eda284d1f143d917cde6017cf0def400e08467e81663c7c06b06b","observation_id":"28f4a147-7101-4608-a378-53dc961f480e","resolution":{"observed_at":"2026-08-14T10:54:15.794537Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.779981Z","title":"Berzish, V","venue":null,"work_id":"a9e2ba3f-5616-41d0-a8d5-911ff33c17dd","year":2017},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.236782Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:951e64218278cc84b0daee1cd927b57fb062419e2d37071dfc1cb763614aa021","observation_id":"89d25be8-b7c2-4e45-bf87-603d768e2fd5","resolution":{"observed_at":"2026-08-14T10:54:15.784031Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1711.03363","last_updated":"2017-11-09T13:25:03Z","snapshot_observed_at":"2026-08-14T20:15:19.913921Z","submitted_at":"2017-11-09T13:25:03Z","title":"What Is Decidable about String Constraints with the ReplaceAll Function","version":1},"cited_work":{"arxiv_id":"1711.03363","doi":null,"metadata_source":"pith","pith_arxiv_id":"1711.03363","snapshot_observed_at":"2026-08-14T10:54:15.399385Z","title":"What Is Decidable about String Constraints with the ReplaceAll Function","venue":"cs.LO","work_id":"0a69ba00-3c56-4e41-9cd2-72209362c598","year":2017},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.242047Z"},"links":{"cited_paper":"/paper/1711.03363","citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:808bb9bafbed8b907be06065208ecad57b6486b80b25736aedd41b8925846b39","observation_id":"9b21a363-7999-4324-b799-10f6eabc041a","resolution":{"observed_at":"2026-08-14T10:54:15.404347Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.770155Z","title":"de Moura and N","venue":null,"work_id":"9b37e965-1769-432f-88c9-7c005a548f11","year":2008},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.246269Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:6966b85c58bf471bcdc076345d8327a928ca465bca113653bf21f52cff3b3ac3","observation_id":"b8fbaf99-d650-4a88-af3a-05da4b4e2505","resolution":{"observed_at":"2026-08-14T10:54:15.773799Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.758678Z","title":"ElGamal, A","venue":null,"work_id":"93966356-56dd-4e74-8c18-e2095a797d00","year":2013},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.249542Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:e582835325c924903e0b85a822fef8ae23d4c0710c8bd69217bb9a33f1871900","observation_id":"3ef9aab8-fc4e-49aa-98e2-61509cc9186a","resolution":{"observed_at":"2026-08-14T10:54:15.761742Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.746099Z","title":"Friske and D","venue":null,"work_id":"f42e2dc2-5bc8-4e6a-a580-72f10f6e002f","year":2019},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.252630Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:bb7567c204a4e8e2c9c2fd406015414e679a836409a4f927bfccf031adff859d","observation_id":"19eecda7-cee1-4bda-a2c4-a8ff41444c22","resolution":{"observed_at":"2026-08-14T10:54:15.749934Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.735527Z","title":"Frühwirth","venue":null,"work_id":"6a24b0a6-072d-4ce3-a037-a1d404562c50","year":1998},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.255704Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:632d83d00ff6fe4cbcc87304b926eb54e0fc9bdaf70c1102c295954331b064df","observation_id":"ea547dae-b3bf-40c7-a5d2-cdf7ccf52354","resolution":{"observed_at":"2026-08-14T10:54:15.739493Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.723094Z","title":"Fu and C.-C","venue":null,"work_id":"5ae53f6a-240e-4fde-8174-eab181df4a07","year":2010},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.258827Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:db0cfb1bda6b1c54f2d0b53d8cd04084c74622ad891c0096bbba276bbf76484d","observation_id":"d5e5f1f1-30d7-4153-86f6-87d39b88d14a","resolution":{"observed_at":"2026-08-14T10:54:15.727334Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.711673Z","title":"Ganesh and D","venue":null,"work_id":"f4512c3e-08ec-47bf-a8fd-8933362adb97","year":2007},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.262309Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:e6f1153b04687793aac2f6a544a32a39af25eb16142ef91fb6f53c29577ca8e8","observation_id":"79f9ad83-a0be-403f-a634-13d702a936d9","resolution":{"observed_at":"2026-08-14T10:54:15.715159Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.699178Z","title":"Golden and W","venue":null,"work_id":"18228c2e-b0f2-49e7-b6a7-1a1deed6c7b6","year":2003},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.265628Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:00759c838b281cf3a0e75f17352ecf561d81ac5372d0202cef7e947b9a6397d4","observation_id":"f045010a-0462-4874-892e-f909911febdd","resolution":{"observed_at":"2026-08-14T10:54:15.703514Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.687315Z","title":"Haftmann, D","venue":null,"work_id":"d57fb1cc-2e89-441c-8508-4e875e05ce68","year":2007},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.269097Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:2547f5aa88f4d77814175c334ff4eab227c806dd5d35f9e7a440ac281c4793ae","observation_id":"58d69a0d-16ec-4fed-abe8-743eaa920780","resolution":{"observed_at":"2026-08-14T10:54:15.690730Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.676421Z","title":"Houkjær, K","venue":null,"work_id":"b52a066a-1a8f-4cb3-af6d-708ff9ff2732","year":2006},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.273133Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:796bba1bb4b3f485290c057524dd78f978d77a293359f32903ace886842c1611","observation_id":"789026ca-e1bd-4ffb-8f02-3441cc7c9d1e","resolution":{"observed_at":"2026-08-14T10:54:15.679949Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.666360Z","title":"Standard, International Organiza tion for Standardiza- tion, Geneva, CH, 6 2017","venue":null,"work_id":"1e795463-4828-4ff8-a3b3-f9e5c08c345a","year":2017},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.276127Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:3b74727afd4385d3e96804cf44f6283e4de977d9d125763b66069418adb9cde8","observation_id":"185292bb-98ab-4a2a-b7e9-722e7bf2bfc3","resolution":{"observed_at":"2026-08-14T10:54:15.670121Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.655038Z","title":null,"venue":null,"work_id":"97e29a3f-84d7-498f-acd3-ef9fc51535bc","year":2006},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.279576Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:885e3c784599c289f1f936f9706d88f2ade2169ddbd236f73690600383b99081","observation_id":"4ac64c03-8211-4d65-be6c-54af7258ccc4","resolution":{"observed_at":"2026-08-14T10:54:15.658179Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.646025Z","title":"Karttunen, J.-P","venue":null,"work_id":"91326ca6-4f45-42e5-b9d1-fe6589106148","year":1996},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.283405Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:6a35a3e0c935a09890ba7e28f8241e21950bad961fe8741e83393d112edf8ccd","observation_id":"04b20fb1-4ef5-424b-8703-f32ae266b109","resolution":{"observed_at":"2026-08-14T10:54:15.649019Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.635536Z","title":null,"venue":null,"work_id":"4d2f58ab-26b6-4fd8-944a-fa496b50c74c","year":2011},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.286480Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:24ef3f0f6a897dd569f5549173f1bedbf25423fe00ea4283d8bd4084071e6b45","observation_id":"2c866be9-e788-4711-aa23-b921e63a4708","resolution":{"observed_at":"2026-08-14T10:54:15.639295Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.623424Z","title":"Kieżun, V","venue":null,"work_id":"6c80a7c1-5ea5-4734-86eb-f6c4cb325be6","year":2009},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.290574Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:3d42a31e9cf4cf545fd6c2574db74f7bb02ec25cc5ffc40e3a20d9ba528c595b","observation_id":"bfcb55c2-16fc-41ba-8f4f-ada35ec7db00","resolution":{"observed_at":"2026-08-14T10:54:15.627700Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.612625Z","title":null,"venue":null,"work_id":"c5e8cc03-7bcc-4917-b08e-4de70c172e38","year":2018},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.294266Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:6bef926667e08512fccc150d668ebdd7c11dc8c48e4ca7678cce8987253d889e","observation_id":"e6506601-cba1-4dce-ba51-21f6680397ff","resolution":{"observed_at":"2026-08-14T10:54:15.616270Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.600942Z","title":"Krings and M","venue":null,"work_id":"97dbc055-3610-417c-a2a7-b3264cfdc319","year":2016},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.297921Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:71bdbf7fbddd945cbef951163d9bfe178a15b9143935e519671772223b80572f","observation_id":"0a1a19d9-c9cb-454c-b3ec-5fff32760c4d","resolution":{"observed_at":"2026-08-14T10:54:15.604082Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.590157Z","title":"Liang, A","venue":null,"work_id":"d091b4d2-87d0-4066-9755-b0216610e1d9","year":2014},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.301418Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:b6375eccae9abd56ca7c688cf90b6093a786b11e085bb284fc830611704dfa7d","observation_id":"bf1a59d8-07c1-4f72-80ac-739d722881f0","resolution":{"observed_at":"2026-08-14T10:54:15.593631Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.579249Z","title":"Liang, A","venue":null,"work_id":"8c79d561-4228-48e7-ab63-e4bd2392264c","year":2016},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.304374Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:c78ab68d74adf3359e561937450b8080d97cc5087060fc067ea8c8d355b7a9ad","observation_id":"a5c79c41-f1f4-4471-a598-80975134a954","resolution":{"observed_at":"2026-08-14T10:54:15.582380Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.568682Z","title":null,"venue":null,"work_id":"472d9aa6-b9ba-4c6b-b8a3-fdcaddf35eee","year":2017},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.308333Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:52accdf326970ee43b9fc44d43f0e8bce6ed4a634c4320ced7f96c6771ac73fd","observation_id":"22695c3a-383f-451b-8129-7b03e99ad83e","resolution":{"observed_at":"2026-08-14T10:54:15.572528Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.555391Z","title":"Pretschner","venue":null,"work_id":"dd153914-f2a3-4f86-8834-eec292dfa1c8","year":2003},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.312431Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:4b39887c637da8e1e4f581544b6cfbeb632a8dcfe29a0ab41b6f9a8b856f7a8b","observation_id":"391324dd-1539-422a-91ad-d31dc04da7ef","resolution":{"observed_at":"2026-08-14T10:54:15.559191Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.544889Z","title":"Schulte, G","venue":null,"work_id":"917eab61-3207-4122-9241-66159a5e5e5b","year":2015},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.316155Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:3bd6bf4c9f81319b141b28a5c11cbf0bdd5c3cd553b977fdf2edb74146615494","observation_id":"1a75e0fd-d074-4f3b-b504-a3b401b13c24","resolution":{"observed_at":"2026-08-14T10:54:15.548164Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.534282Z","title":"Singh and K","venue":null,"work_id":"e620111d-8f85-4ce6-aa91-a603424a158e","year":2009},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.320573Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:dfe7fd1d08df8c4b2a94dcf3080d3fb94b9678fd9334f24dd3cca86f79133473","observation_id":"2cf567cd-2e6e-4377-adf0-a252b3baa54a","resolution":{"observed_at":"2026-08-14T10:54:15.537514Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.522657Z","title":"Spillner and T","venue":null,"work_id":"e45a342f-5bf0-47ae-b640-798208482fd6","year":2005},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.324418Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:22b11548a4ef8a14b984cafaa32611dc833b1a19ad4e146ec91b9f349d42c1b0","observation_id":"1d516f26-874c-4162-af8d-ebbb63823708","resolution":{"observed_at":"2026-08-14T10:54:15.526455Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.510408Z","title":"Tillmann and J","venue":null,"work_id":"7d7cf73c-db0b-4794-a2e9-ca453df3c067","year":2008},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.327665Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:75f3af8793fd3f74f00b39167b97a4fb38699b9f3a5bc04c4e40509cfc02a161","observation_id":"fb38b978-fc1f-4859-9de0-56a65be4a0ef","resolution":{"observed_at":"2026-08-14T10:54:15.513724Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.499834Z","title":"Tinelli, C","venue":null,"work_id":"5d6ac630-2035-4945-904f-56631407b1ef","year":2019},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.330923Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:059d5fc471ca936b0d98d394b17786f90c86ce36191b764a3656de0856eb6001","observation_id":"3fc68cab-9e21-4b49-ad3f-930b3c1f80fa","resolution":{"observed_at":"2026-08-14T10:54:15.503420Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.488997Z","title":"Trinh, D.-H","venue":null,"work_id":"fc5fdd6e-5c1c-4da3-9022-656e8581b053","year":2014},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.333806Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:6e7a63e842ea93263b269c4c052e9c371e72b89635c9851863d43b7430268edd","observation_id":"4b9766dd-39ff-4b39-a413-0745bcff7403","resolution":{"observed_at":"2026-08-14T10:54:15.493057Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.475376Z","title":null,"venue":null,"work_id":"56ea209f-c71f-4eb9-b1b4-4744d16ffbfb","year":2012},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.336888Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:53bbacf3756a4f010c427400eebbcd6920ac1032d9b9c81df330ae3a19b82ec2","observation_id":"5e70434a-e0a1-4f92-bf2e-da884a8f6763","resolution":{"observed_at":"2026-08-14T10:54:15.479414Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.461621Z","title":null,"venue":null,"work_id":"bccdeca0-0054-4558-a674-75399d002910","year":2016},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.340951Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:9f1eab38770074cc2dcc7a1d3b794e23fa6ff5767df4ce72f271311455eb8a72","observation_id":"f5800133-9d6c-4a46-997b-16c282f093a1","resolution":{"observed_at":"2026-08-14T10:54:15.466057Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.449683Z","title":null,"venue":null,"work_id":"1a1ce176-006f-4f39-8283-96192acac091","year":2018},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.344503Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:e611992897adf4e4d0a148fc1f4a120b8a2e05cac835c237c90c3031e4c71d2b","observation_id":"f38a3896-a8bf-4ecc-b478-ed12f348cd02","resolution":{"observed_at":"2026-08-14T10:54:15.453671Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1011.5332","last_updated":"2010-11-24T10:28:56Z","snapshot_observed_at":"2026-08-17T07:39:13.214735Z","submitted_at":"2010-11-24T10:28:56Z","title":"SWI-Prolog","version":1},"cited_work":{"arxiv_id":"1011.5332","doi":null,"metadata_source":"pith","pith_arxiv_id":"1011.5332","snapshot_observed_at":"2026-08-14T10:54:15.381431Z","title":"SWI-Prolog","venue":"cs.PL","work_id":"7c8295c7-80f6-4f79-afac-ac0e279c90c0","year":2010},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.348286Z"},"links":{"cited_paper":"/paper/1011.5332","citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:7db1a6f8849416357c60a7c3242c104d69bf487f46bb4e9b977478b3f164182b","observation_id":"bfdedcde-1416-4b35-b240-0161cdf58695","resolution":{"observed_at":"2026-08-14T10:54:15.386718Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.439264Z","title":"Zheng, V","venue":null,"work_id":"33bf364a-236b-4c62-9cef-ddd2aede4b49","year":2017},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.352251Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:a0d2d0268abd3e31baff2273980b3e8f6f36d5e54553e25bd11ac1afd2b4ebf8","observation_id":"a8ce28cb-b2d3-4c82-a198-1dad03fbbb3a","resolution":{"observed_at":"2026-08-14T10:54:15.442640Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T10:54:15.427841Z","title":"Zheng, X","venue":null,"work_id":"ff16bff9-55cc-4a9f-ba59-601e007a94b0","year":2013},"citing_paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-14T10:54:15.356137Z"},"links":{"citing_paper":"/paper/1908.10203"},"observation_digest":"sha256:ad2a4310930246795bbd48f23215c3dd949349980a54cb2b51cee4cdf816fbcd","observation_id":"396a34b0-9ae4-44f2-8cec-9b44e03e7a31","resolution":{"observed_at":"2026-08-14T10:54:15.431507Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.10203","last_updated":"2019-08-27T14:01:04Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-17T23:48:12.807927Z","submitted_at":"2019-08-27T14:01:04Z","title":"Towards Constraint Logic Programming over Strings for Test Data Generation"},"reference_resolution":{"displayed":39,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":9,"verified_exact":3,"verified_fuzzy":27},"total_outbound_references":39},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 0 inbound Pith citation observations for arXiv:1908.10203."}