{"as_of":"2026-08-18T05:06:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2971b61efbc8f11b6609e3bf8bc4ae0be511c9af847d48ae1a39d5b2ea6ca299","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-17T06:30:58.91139+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:98f0f7f2e6d5e309bc9fce664762603dcd20c7af03bdc4a4f905903c43f366be","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:7d67d436585e7224a81b3b30d95ba1f69690a9e1642d6dc41341778ef85a0134","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:5001903d5554ed384b1d92f834f67face7677f11339f8cd6be5b46a0bb3eb21d","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:86f29c3a5302a652585b5de13290b5a4ebc7775742fcc08319d5dfb8a9bf2a88","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:960fdc2d7834a3498f63c029bfbf23fa7f6aba18c6c9fc4d16d79a9d38955d45","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:eeca2320e82fc0ff0c04b80e5d381a2b587b042ff99e02850196b7a5f8b996c5","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:ce323793d3f70c09c5a1e8ec7c7c30429b40e03d3e2f89c4cb191786e8703262","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:f7004cdd29ddd7689c8f1d3d3225964beea9f45dad896b73078ca1e34ad4e366","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:b873742b582b45b3dee2ae5e56e7036960adde9b0ef46776c50605eb12fb99ba","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:f8060d9012a886b3187e9266ca8c1171b642794ea8f9c5e064b070dc8e6b35f1","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:edeec8a398809467a542c1b4c2a422defe3e4a74a0cd34cdb989369b0dfc50a9","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:5cd032347c4bb5b467f5877d42fb0c96752c01b35f8161b77e6eaf780acb5d7f","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:6827f458d250d8d2a38248c29d8e1c39f96fc0ddfd611199b3e15b7a64e108d4","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:d7807d507c1364ac216438c1a52b41af32248ddd714a9e89656f43527ac20ac5","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:ec28b5900419b30bb1e24743f531e1af1f7179e84069bd592363825104b8ebc9","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:18f8ef4870c3a0fca9c9eef0ecd0ab63dcb7c723149563eff35df2a4b2ee97b2","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:c7257510c8d957e612d332fd043e1850eb3d3776174dc58684eaefda6cb7ea12","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:d8525951a6bbc969fc092cabffed9dc1984d87d6c5252facea83a9a481ae0089","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:0856f7e2e38cf41a99a8d1c56fa71ab01748b0004a682393af94dfa9923a27cc","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:49aaf96afe09dbd346fa18a6a3e46c2cccdc908c4e28b7e8a5c4d63f3dd052b5","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:42a71ccb0a0b7fa05196217b5c32974b52579e4aa8790120a6ec99bee700252e","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:67b59cdcaf0930d14f41824c2817997f8d4d5017710e1305718b7041143220bc","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:352f1cea19887fcafcc6b57100a324b9e88ab6ea2d1d57198ec24716be9c3f2d","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:0f418be8163590296acdfe1e0e271bdec46e5071c73b56b395ed87d0799ec702","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:81e260647787bcfb50e590a5a2d61e20f796768c69db2e108c04aacd73ac3953","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:16e5cd6432b2b05bc690aa047916535c28c8dc2c810d2e002947cf120a2c592e","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:772ba3de308b691977583db2e1f58f30f71bb237f0d6b2cb0dc72968a6caa429","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:9330549b4a7dbf1ac525212daf79386a6470526aeb250c247b316014769c5b36","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:15917f12cf079467d4ed5f050eefc44cd3edef7e678c5b57bebc1b9aae97c2aa","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:09a83ea046d0e6525ac7af3116b65454ae81b663bac6f97bec36706ac1757a6d","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:823763476b322e167436799376d14de7e0c06293736d3c3e586732fd54fcbe93","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:af2d15e98075790eaeb2779769f38e9bed251d8dacaf1101d12a1296d4a94763","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:f4a6966edd4afcdbef20d6d643b08a3a0bb6a810695b80c1d7af70f2c0bf7c31","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:c407b74fb548c303d9c2cca7ceb13ccd63b3882180def4258193e822844dbee7","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:6702881d5d832b5a090e9f3cdf5e5155acf73b2b765d423548c1bfe49fac8725","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:0837b779a41924c133832d0e2ec1eeeea6fba5b9c00d48d4dc084d71e38ffbe0","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:6ad58edf6251e2b010fff55adc5f32ae4f79c74d8735085e64b3e98d05021431","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:7322062e73cfb4cd14ce0ac274b8c27153fb1fd514a08176a31afdcc7e58da60","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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:899862c433a90d6b854d8c4141aec213739b8d9368d7fffb4794e99396a5da4d","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-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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."}