{"id":"https://openalex.org/W3049478784","doi":"https://doi.org/10.1017/s1471068421000508","title":"How to Build Your Own ASP-based System?!","display_name":"How to Build Your Own ASP-based System?!","publication_year":2021,"publication_date":"2021-12-13","ids":{"openalex":"https://openalex.org/W3049478784","doi":"https://doi.org/10.1017/s1471068421000508","mag":"3049478784"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068421000508","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068421000508","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/EF826D6B5BC87BE640227CE3D65FFE18/S1471068421000508a.pdf/div-class-title-how-to-build-your-own-asp-based-system-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/EF826D6B5BC87BE640227CE3D65FFE18/S1471068421000508a.pdf/div-class-title-how-to-build-your-own-asp-based-system-div.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066160873","display_name":"Roland Kaminski","orcid":"https://orcid.org/0000-0002-1361-6045"},"institutions":[{"id":"https://openalex.org/I176453806","display_name":"University of Potsdam","ror":"https://ror.org/03bnmw459","country_code":"DE","type":"education","lineage":["https://openalex.org/I176453806"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"ROLAND KAMINSKI","raw_affiliation_strings":["University of Potsdam, Potsdam, Germany (e-mails:"],"raw_orcid":"https://orcid.org/0000-0002-1361-6045","affiliations":[{"raw_affiliation_string":"University of Potsdam, Potsdam, Germany (e-mails:","institution_ids":["https://openalex.org/I176453806"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070528616","display_name":"Javier Romero","orcid":"https://orcid.org/0000-0001-5546-9939"},"institutions":[{"id":"https://openalex.org/I176453806","display_name":"University of Potsdam","ror":"https://ror.org/03bnmw459","country_code":"DE","type":"education","lineage":["https://openalex.org/I176453806"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"JAVIER ROMERO","raw_affiliation_strings":["University of Potsdam, Potsdam, Germany (e-mails:"],"raw_orcid":"https://orcid.org/0000-0001-5546-9939","affiliations":[{"raw_affiliation_string":"University of Potsdam, Potsdam, Germany (e-mails:","institution_ids":["https://openalex.org/I176453806"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058467603","display_name":"Torsten Schaub","orcid":"https://orcid.org/0000-0002-7456-041X"},"institutions":[{"id":"https://openalex.org/I176453806","display_name":"University of Potsdam","ror":"https://ror.org/03bnmw459","country_code":"DE","type":"education","lineage":["https://openalex.org/I176453806"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"TORSTEN SCHAUB","raw_affiliation_strings":["University of Potsdam, Potsdam, Germany (e-mails:"],"raw_orcid":"https://orcid.org/0000-0002-7456-041X","affiliations":[{"raw_affiliation_string":"University of Potsdam, Potsdam, Germany (e-mails:","institution_ids":["https://openalex.org/I176453806"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081459731","display_name":"Philipp Wanko","orcid":"https://orcid.org/0000-0003-4986-4881"},"institutions":[{"id":"https://openalex.org/I176453806","display_name":"University of Potsdam","ror":"https://ror.org/03bnmw459","country_code":"DE","type":"education","lineage":["https://openalex.org/I176453806"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"PHILIPP WANKO","raw_affiliation_strings":["University of Potsdam, Potsdam, Germany (e-mails:"],"raw_orcid":"https://orcid.org/0000-0003-4986-4881","affiliations":[{"raw_affiliation_string":"University of Potsdam, Potsdam, Germany (e-mails:","institution_ids":["https://openalex.org/I176453806"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5066160873"],"corresponding_institution_ids":["https://openalex.org/I176453806"],"apc_list":null,"apc_paid":null,"fwci":0.28,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.61023597,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"23","issue":"1","first_page":"299","last_page":"361"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9940000176429749,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.8347197771072388},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7856591939926147},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.6455411911010742},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.6235494613647461},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5742354989051819},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.5633343458175659},{"id":"https://openalex.org/keywords/reification","display_name":"Reification (Marxism)","score":0.5448569655418396},{"id":"https://openalex.org/keywords/scripting-language","display_name":"Scripting language","score":0.47690439224243164},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4629076421260834},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.44921237230300903},{"id":"https://openalex.org/keywords/planner","display_name":"Planner","score":0.43311935663223267},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35469868779182434},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.11399656534194946}],"concepts":[{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.8347197771072388},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7856591939926147},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.6455411911010742},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.6235494613647461},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5742354989051819},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.5633343458175659},{"id":"https://openalex.org/C201377581","wikidata":"https://www.wikidata.org/wiki/Q863448","display_name":"Reification (Marxism)","level":3,"score":0.5448569655418396},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.47690439224243164},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4629076421260834},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.44921237230300903},{"id":"https://openalex.org/C2776999362","wikidata":"https://www.wikidata.org/wiki/Q2349274","display_name":"Planner","level":2,"score":0.43311935663223267},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35469868779182434},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.11399656534194946},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1017/s1471068421000508","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068421000508","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/EF826D6B5BC87BE640227CE3D65FFE18/S1471068421000508a.pdf/div-class-title-how-to-build-your-own-asp-based-system-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2008.06692","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2008.06692","pdf_url":"https://arxiv.org/pdf/2008.06692","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"mag:3049478784","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2008.06692","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.2008.06692","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2008.06692","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.1017/s1471068421000508","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068421000508","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/EF826D6B5BC87BE640227CE3D65FFE18/S1471068421000508a.pdf/div-class-title-how-to-build-your-own-asp-based-system-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.6299999952316284}],"awards":[{"id":"https://openalex.org/G6428671718","display_name":null,"funder_award_id":"SCHA 550/11","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3049478784.pdf","grobid_xml":"https://content.openalex.org/works/W3049478784.grobid-xml"},"referenced_works_count":85,"referenced_works":["https://openalex.org/W89328955","https://openalex.org/W128869332","https://openalex.org/W216667991","https://openalex.org/W561688239","https://openalex.org/W578063101","https://openalex.org/W1481397690","https://openalex.org/W1482502297","https://openalex.org/W1482532598","https://openalex.org/W1488662850","https://openalex.org/W1498722751","https://openalex.org/W1501758783","https://openalex.org/W1511711492","https://openalex.org/W1518705996","https://openalex.org/W1520000071","https://openalex.org/W1548519218","https://openalex.org/W1601726121","https://openalex.org/W1606891084","https://openalex.org/W1752491870","https://openalex.org/W1817519191","https://openalex.org/W1854652430","https://openalex.org/W1969965298","https://openalex.org/W1976055110","https://openalex.org/W1985274317","https://openalex.org/W2011124182","https://openalex.org/W2022846948","https://openalex.org/W2039887949","https://openalex.org/W2048746006","https://openalex.org/W2049791401","https://openalex.org/W2054623824","https://openalex.org/W2071784417","https://openalex.org/W2087432892","https://openalex.org/W2154595228","https://openalex.org/W2163787533","https://openalex.org/W2167505882","https://openalex.org/W2169808787","https://openalex.org/W2171836055","https://openalex.org/W2174235632","https://openalex.org/W2183567905","https://openalex.org/W2211798527","https://openalex.org/W2212328841","https://openalex.org/W2395811953","https://openalex.org/W2478639743","https://openalex.org/W2506402500","https://openalex.org/W2512687029","https://openalex.org/W2554080479","https://openalex.org/W2555827751","https://openalex.org/W2571793659","https://openalex.org/W2578895614","https://openalex.org/W2579855366","https://openalex.org/W2594402149","https://openalex.org/W2607115772","https://openalex.org/W2623761406","https://openalex.org/W2733732676","https://openalex.org/W2795456052","https://openalex.org/W2804272367","https://openalex.org/W2804975344","https://openalex.org/W2898857312","https://openalex.org/W2900329956","https://openalex.org/W2942176634","https://openalex.org/W2944685522","https://openalex.org/W2946498291","https://openalex.org/W2946766242","https://openalex.org/W2962851569","https://openalex.org/W2963234253","https://openalex.org/W2963268497","https://openalex.org/W2964204744","https://openalex.org/W2994667977","https://openalex.org/W3006453840","https://openalex.org/W3012364298","https://openalex.org/W3034184944","https://openalex.org/W3081453388","https://openalex.org/W3088535933","https://openalex.org/W3090802019","https://openalex.org/W3101257817","https://openalex.org/W3142178029","https://openalex.org/W3155306957","https://openalex.org/W4254790956","https://openalex.org/W6628836516","https://openalex.org/W6630458657","https://openalex.org/W6632642453","https://openalex.org/W6731891586","https://openalex.org/W6732223456","https://openalex.org/W6732635222","https://openalex.org/W6740990787","https://openalex.org/W6771676130"],"related_works":["https://openalex.org/W121194604","https://openalex.org/W1495983216","https://openalex.org/W2764157639","https://openalex.org/W3101739347","https://openalex.org/W2134984189","https://openalex.org/W2063247670","https://openalex.org/W2054943246","https://openalex.org/W2588888985","https://openalex.org/W3205543144","https://openalex.org/W2726953349","https://openalex.org/W194409236","https://openalex.org/W2035651318","https://openalex.org/W2182619624","https://openalex.org/W2325587958","https://openalex.org/W2117385038","https://openalex.org/W2066762009","https://openalex.org/W2137321318","https://openalex.org/W1964238136","https://openalex.org/W3021661880","https://openalex.org/W325991438"],"abstract_inverted_index":{"Abstract":[0],"Answer":[1],"Set":[2],"Programming,":[3],"or":[4],"ASP":[5,64,99,107,153],"for":[6,37,63,105,109,135,155,170,181,241],"short,":[7],"has":[8],"become":[9],"a":[10,124,140],"popular":[11],"and":[12,108,128,183,236,269,276,285,302,312],"sophisticated":[13],"approach":[14,32,143,179],"to":[15,23,33,45,66,87,151,192,203,213,225],"declarative":[16],"problem":[17,34],"solving.":[18],"Its":[19],"popularity":[20],"is":[21,139,194,254],"due":[22],"its":[24,174],"attractive":[25],"modeling-grounding-solving":[26],"workflow":[27,188],"that":[28,144,200,261],"provides":[29],"an":[30],"easy":[31],"solving,":[35,235],"even":[36,61],"laypersons":[38],"outside":[39],"computer":[40],"science.":[41],"However,":[42],"in":[43,216],"contrast":[44],"ASP\u2019s":[46,75],"ease":[47],"of":[48,53,55,162,189,233,283],"use,":[49],"the":[50,56,98,185,214,263,266,273],"high":[51],"degree":[52],"sophistication":[54],"underlying":[57,267],"technology":[58],"makes":[59],"it":[60],"hard":[62],"experts":[65],"put":[67],"ideas":[68],"into":[69],"practice":[70],"whenever":[71],"this":[72,79,81,115,163,193,279],"involves":[73],"modifying":[74],"machinery.":[76],"For":[77,219],"addressing":[78],"issue,":[80],"tutorial":[82,164,280],"aims":[83],"at":[84],"enabling":[85],"users":[86],"build":[88],"their":[89],"own":[90],"ASP-based":[91],"systems.":[92,113],"More":[93],"precisely,":[94],"we":[95,117,221,292],"show":[96,129,293],"how":[97,130,294,303],"system":[100],"clingo":[101,147,172,195,206,217,255,295],"can":[102,132,296,306],"be":[103,133,297,307],"used":[104,134],"extending":[106,136],"implementing":[110],"customized":[111],"special-purpose":[112],"To":[114],"end,":[116],"propose":[118],"two":[119],"alternatives.":[120],"We":[121,271],"begin":[122],"with":[123,309],"traditional":[125,166],"AI":[126],"technique":[127],"metaprogramming":[131],"ASP.":[137,190],"This":[138,178],"rather":[141],"light":[142],"relies":[145],"on":[146,205],"\u2019s":[148,196,207,256],"reification":[149],"feature":[150],"use":[152],"itself":[154],"expressing":[156],"new":[157,197],"functionalities.":[158],"The":[159],"second":[160],"part":[161],"uses":[165],"programming":[167,176,305],"(in":[168],"Python)":[169],"manipulating":[171],"via":[173],"application":[175,252,313],"interface.":[177],"allows":[180,201],"changing":[182],"controlling":[184],"entire":[186],"model-ground-solve":[187],"Central":[191],"Application":[198],"class":[199],"us":[202],"draw":[204],"infrastructure":[208],"by":[209,281,299],"customizing":[210],"processes":[211],"similar":[212],"one":[215],".":[218],"instance,":[220],"may":[222],"apply":[223],"manipulations":[224],"programs\u2019":[226],"abstract":[227],"syntax":[228],"trees,":[229],"control":[230],"various":[231],"forms":[232],"multi-shot":[234],"set":[237],"up":[238],"theory":[239],"propagators":[240],"foreign":[242],"inferences.":[243],"A":[244],"cross-sectional":[245],"structure,":[246],"spanning":[247],"meta":[248,311],"as":[249,251],"well":[250],"programming,":[253],"intermediate":[257],"format,":[258],"aspif":[259],",":[260],"specifies":[262],"interface":[264],"among":[265],"grounder":[268],"solver.":[270],"illustrate":[272],"aforementioned":[274],"concepts":[275],"techniques":[277],"throughout":[278],"means":[282],"examples":[284],"several":[286],"nontrivial":[287],"case":[288],"studies.":[289],"In":[290],"particular,":[291],"extended":[298],"difference":[300],"constraints":[301],"guess-and-check":[304],"implemented":[308],"both":[310],"programming.":[314]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}