Clingo goes linear constraints over reals and integers
The recent series 5 of the Answer Set Programming (ASP) system clingo provides generic means to enhance basic ASP with theory reasoning capabilities. We instantiate this framework with different forms of linear constraints and elaborate upon its formal properties. Given this, we discuss the respecti...
Uloženo v:
| Vydáno v: | Theory and practice of logic programming Ročník 17; číslo 5-6; s. 872 - 888 |
|---|---|
| Hlavní autoři: | , , , , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Cambridge, UK
Cambridge University Press
01.09.2017
|
| Témata: | |
| ISSN: | 1471-0684, 1475-3081 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | The recent series 5 of the Answer Set Programming (ASP) system clingo provides generic means to enhance basic ASP with theory reasoning capabilities. We instantiate this framework with different forms of linear constraints and elaborate upon its formal properties. Given this, we discuss the respective implementations, and present techniques for using these constraints in a reactive context. More precisely, we introduce extensions to clingo with difference and linear constraints over integers and reals, respectively, and realize them in complementary ways. Finally, we empirically evaluate the resulting clingo derivatives clingo[dl] and clingo[lp] on common language fragments and contrast them to related ASP systems. |
|---|---|
| AbstractList | The recent series 5 of the Answer Set Programming (ASP) system clingo provides generic means to enhance basic ASP with theory reasoning capabilities. We instantiate this framework with different forms of linear constraints and elaborate upon its formal properties. Given this, we discuss the respective implementations, and present techniques for using these constraints in a reactive context. More precisely, we introduce extensions to clingo with difference and linear constraints over integers and reals, respectively, and realize them in complementary ways. Finally, we empirically evaluate the resulting clingo derivatives clingo[dl] and clingo[lp] on common language fragments and contrast them to related ASP systems. The recent series 5 of the Answer Set Programming (ASP) system clingo provides generic means to enhance basic ASP with theory reasoning capabilities. We instantiate this framework with different forms of linear constraints and elaborate upon its formal properties. Given this, we discuss the respective implementations, and present techniques for using these constraints in a reactive context. More precisely, we introduce extensions to clingo with difference and linear constraints over integers and reals, respectively, and realize them in complementary ways. Finally, we empirically evaluate the resulting clingo derivatives clingo [ dl ] and clingo [ lp ] on common language fragments and contrast them to related ASP systems. |
| Author | JANHUNEN, TOMI SCHELLHORN, SEBASTIAN OSTROWSKI, MAX WANKO, PHILIPP KAMINSKI, ROLAND SCHAUB, TORSTEN |
| Author_xml | – sequence: 1 givenname: TOMI surname: JANHUNEN fullname: JANHUNEN, TOMI email: tomi.janhunen@aalto.fi organization: Aalto University, Aalto Finland (e-mail: tomi.janhunen@aalto.fi) – sequence: 2 givenname: ROLAND surname: KAMINSKI fullname: KAMINSKI, ROLAND email: kaminski@cs.uni-potsdam.de organization: University of Potsdam, Potsdam Germany (e-mails: kaminski@cs.uni-potsdam.de, ostrowsk@cs.uni-potsdam.de, seschell@cs.uni-potsdam.de, wanko@cs.uni-potsdam.de) – sequence: 3 givenname: MAX surname: OSTROWSKI fullname: OSTROWSKI, MAX email: kaminski@cs.uni-potsdam.de organization: University of Potsdam, Potsdam Germany (e-mails: kaminski@cs.uni-potsdam.de, ostrowsk@cs.uni-potsdam.de, seschell@cs.uni-potsdam.de, wanko@cs.uni-potsdam.de) – sequence: 4 givenname: SEBASTIAN surname: SCHELLHORN fullname: SCHELLHORN, SEBASTIAN email: kaminski@cs.uni-potsdam.de organization: University of Potsdam, Potsdam Germany (e-mails: kaminski@cs.uni-potsdam.de, ostrowsk@cs.uni-potsdam.de, seschell@cs.uni-potsdam.de, wanko@cs.uni-potsdam.de) – sequence: 5 givenname: PHILIPP surname: WANKO fullname: WANKO, PHILIPP email: kaminski@cs.uni-potsdam.de organization: University of Potsdam, Potsdam Germany (e-mails: kaminski@cs.uni-potsdam.de, ostrowsk@cs.uni-potsdam.de, seschell@cs.uni-potsdam.de, wanko@cs.uni-potsdam.de) – sequence: 6 givenname: TORSTEN surname: SCHAUB fullname: SCHAUB, TORSTEN email: torsten@cs.uni-potsdam.de organization: University of Potsdam, Potsdam Germany and INRIA Rennes, Rennes France (e-mail: torsten@cs.uni-potsdam.de) |
| BookMark | eNp9kE1PwzAMQCM0JLbBD-AWiXPBbto0PaKJL2kSB-BcpalTddqSkXRI_HsyxgGB4GTrxc-OPWMT5x0xdo5wiYDV1RMWFYJUBVYAkBf5EZsmVGYCFE4-c8z27ydsFuMKAKXIiymTi_Xges97T5GnlHTgxrs4Bj24MXL_RoEH0uvItet4YtRTiKfs2CZGZ19xzl5ub54X99ny8e5hcb3MjJAwZi21VhFZI4zAFkBJqyyooqK6LEWeaFGiqDtZSFSkyOiuLhM2REKVYMWcXRz6boN_3VEcm5XfBZdGNlin9ZQQokpV1aHKBB9jINuYYdTj4N1-jXWD0OyP1Pw6UjLxh7kNw0aH938d8eXoTRuGrqdvn_rT-gCZsnij |
| CitedBy_id | crossref_primary_10_4204_EPTCS_416_38 crossref_primary_10_3233_IA_240032 crossref_primary_10_1017_S1471068418000455 crossref_primary_10_1145_3720420 crossref_primary_10_1017_S1471068425100306 crossref_primary_10_4204_EPTCS_416_32 crossref_primary_10_1017_S1471068420000046 crossref_primary_10_1017_S1471068422000047 crossref_primary_10_1038_s41540_024_00360_6 crossref_primary_10_1007_s13218_018_0530_3 crossref_primary_10_1017_S1471068418000054 crossref_primary_10_3390_a16040216 crossref_primary_10_1017_S1471068423000017 crossref_primary_10_1017_S1471068425100264 crossref_primary_10_4204_EPTCS_416_19 crossref_primary_10_1016_j_artint_2024_104230 crossref_primary_10_1017_S1471068425100288 crossref_primary_10_1080_13875868_2024_2324875 crossref_primary_10_3390_a16040185 crossref_primary_10_1017_S1471068421000478 crossref_primary_10_1007_s13218_018_0528_x crossref_primary_10_1017_S1471068418000200 crossref_primary_10_1042_BST20190667 crossref_primary_10_3390_pr9101701 crossref_primary_10_3390_a16040179 crossref_primary_10_3390_pr8121649 crossref_primary_10_1371_journal_pone_0313962 crossref_primary_10_1017_S1471068421000508 crossref_primary_10_4204_EPTCS_416_40 crossref_primary_10_1007_s13218_018_0538_8 |
| Cites_doi | 10.1017/CBO9780511543357 10.1007/BF03037169 10.1016/0377-2217(93)90182-M 10.1016/0377-2217(81)90177-6 10.1145/103162.103163 10.1016/S0004-3702(02)00187-X 10.3233/FI-2010-314 10.1017/S1471068416000491 10.1016/j.artint.2012.04.001 10.1515/9781400884179 10.1017/S1471068410000220 10.1017/S1471068417000138 |
| ContentType | Journal Article |
| Copyright | Copyright © Cambridge University Press 2017 |
| Copyright_xml | – notice: Copyright © Cambridge University Press 2017 |
| DBID | AAYXX CITATION 3V. 7SC 7XB 8AL 8FD 8FE 8FG 8FK ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- L7M L~C L~D M0N P5Z P62 PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS Q9U |
| DOI | 10.1017/S1471068417000242 |
| DatabaseName | CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ProQuest Central (purchase pre-March 2016) Computing Database (Alumni Edition) Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials ProQuest Central Technology collection ProQuest One Community College ProQuest Central ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Computing Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection Proquest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China ProQuest Central Basic |
| DatabaseTitle | CrossRef Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Central Korea ProQuest Central (New) Advanced Technologies Database with Aerospace Advanced Technologies & Aerospace Collection ProQuest Computing ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition ProQuest One Academic ProQuest Central (Alumni) ProQuest One Academic (New) |
| DatabaseTitleList | Computer Science Database CrossRef |
| Database_xml | – sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| DocumentTitleAlternate | Clingo goes linear constraints over reals and integers T. Janhunen et al. |
| EISSN | 1475-3081 |
| EndPage | 888 |
| ExternalDocumentID | 10_1017_S1471068417000242 |
| GroupedDBID | -E. .FH 09C 09E 0E1 0R~ 123 29Q 3V. 4.4 5VS 74X 74Y 7~V 8FE 8FG 8R4 8R5 AAAZR AABES AABWE AACJH AAEED AAFUK AAGFV AAKTX AANRG AARAB AASVR AAUKB AAYOK ABBXD ABITZ ABJNI ABKKG ABMWE ABMYL ABQTM ABQWD ABROB ABTCQ ABUWG ABZCX ACBMC ACCHT ACGFS ACIMK ACNCT ACQFJ ACREK ACUIJ ACUYZ ACWGA ACYZP ACZBM ACZUX ACZWT ADCGK ADDNB ADFEC ADGEJ ADKIL ADOCW ADOVH ADVJH AEBAK AEHGV AEMTW AENEX AENGE AEYYC AFFUJ AFKQG AFKRA AFKSM AFLOS AFLVW AFUTZ AGABE AGBYD AGJUD AGOOT AHQXX AHRGI AIGNW AIHIV AIOIP AISIE AJ7 AJCYY AJPFC AJQAS ALMA_UNASSIGNED_HOLDINGS ALVPG ALWZO AQJOH ARABE ARAPS ATUCA AUXHV AZQEC BBLKV BENPR BGHMG BGLVJ BLZWO BMAJL BPHCQ C0O CAG CBIIA CCPQU CCQAD CCTKK CFAFE CHEAL CJCSC COF CS3 DC4 DOHLZ DU5 DWQXO EBS EJD GNUQQ HCIFZ HG- HST HZ~ I.6 IH6 IOEEP IPYYG IS6 I~P J36 J38 J3A J9A JHPGK JQKCU K6V K7- KCGVB KFECR L98 LW7 M-V M0N NIKVX O9- OK1 OYBOY P2P P62 PQQKQ PROAC PYCCK Q2X RAMDC RCA ROL RR0 S6- S6U SAAAG T9M UT1 WFFJZ WQ3 WXU WXY WYP ZYDXJ AAYXX ABGDZ ABVKB ABVZP ABXHF ACAJB ACDLN AFFHD AFZFC AKMAY CITATION PHGZM PHGZT PQGLB 7SC 7XB 8AL 8FD 8FK JQ2 L7M L~C L~D PKEHL PQEST PQUKI PRINS Q9U |
| ID | FETCH-LOGICAL-c360t-bebf8eefc3c31b0086f8f0847e955323c345139d64618e8ecad9523ccee3850f3 |
| IEDL.DBID | K7- |
| ISICitedReferencesCount | 55 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000412567800012&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1471-0684 |
| IngestDate | Fri Jul 25 10:13:00 EDT 2025 Sat Nov 29 04:58:36 EST 2025 Tue Nov 18 22:33:14 EST 2025 Wed Mar 13 05:53:13 EDT 2024 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 5-6 |
| Keywords | Constraint Answer Set Programming (CASP) Theory Solving Constraint Processing (CP) Answer Set Programming (ASP) |
| Language | English |
| License | https://www.cambridge.org/core/terms |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c360t-bebf8eefc3c31b0086f8f0847e955323c345139d64618e8ecad9523ccee3850f3 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| OpenAccessLink | https://aaltodoc.aalto.fi/handle/123456789/34975 |
| PQID | 1947583337 |
| PQPubID | 43613 |
| PageCount | 17 |
| ParticipantIDs | proquest_journals_1947583337 crossref_citationtrail_10_1017_S1471068417000242 crossref_primary_10_1017_S1471068417000242 cambridge_journals_10_1017_S1471068417000242 |
| PublicationCentury | 2000 |
| PublicationDate | 20170900 2017-09-00 20170901 |
| PublicationDateYYYYMMDD | 2017-09-01 |
| PublicationDate_xml | – month: 09 year: 2017 text: 20170900 |
| PublicationDecade | 2010 |
| PublicationPlace | Cambridge, UK |
| PublicationPlace_xml | – name: Cambridge, UK – name: Cambridge |
| PublicationTitle | Theory and practice of logic programming |
| PublicationTitleAlternate | Theory and Practice of Logic Programming |
| PublicationYear | 2017 |
| Publisher | Cambridge University Press |
| Publisher_xml | – name: Cambridge University Press |
| References | S1471068417000242_ref9 S1471068417000242_ref8 S1471068417000242_ref7 S1471068417000242_ref6 S1471068417000242_ref5 S1471068417000242_ref3 S1471068417000242_ref2 S1471068417000242_ref1 S1471068417000242_ref19 S1471068417000242_ref17 S1471068417000242_ref18 S1471068417000242_ref15 S1471068417000242_ref16 S1471068417000242_ref13 S1471068417000242_ref24 S1471068417000242_ref14 S1471068417000242_ref11 S1471068417000242_ref23 S1471068417000242_ref12 S1471068417000242_ref20 S1471068417000242_ref10 S1471068417000242_ref21 Soh (S1471068417000242_ref22) 2010; 102 Barrett (S1471068417000242_ref4) 2009 |
| References_xml | – ident: S1471068417000242_ref3 doi: 10.1017/CBO9780511543357 – ident: S1471068417000242_ref11 – ident: S1471068417000242_ref16 doi: 10.1007/BF03037169 – ident: S1471068417000242_ref13 – start-page: 825 volume-title: Handbook of Satisfiability year: 2009 ident: S1471068417000242_ref4 – ident: S1471068417000242_ref14 – ident: S1471068417000242_ref23 doi: 10.1016/0377-2217(93)90182-M – ident: S1471068417000242_ref24 doi: 10.1016/0377-2217(81)90177-6 – ident: S1471068417000242_ref18 – ident: S1471068417000242_ref19 – ident: S1471068417000242_ref17 doi: 10.1145/103162.103163 – ident: S1471068417000242_ref21 doi: 10.1016/S0004-3702(02)00187-X – ident: S1471068417000242_ref6 – ident: S1471068417000242_ref8 – ident: S1471068417000242_ref20 – volume: 102 start-page: 467 year: 2010 ident: S1471068417000242_ref22 article-title: A SAT-based method for solving the two-dimensional strip packing problem publication-title: Fundamenta Informaticae doi: 10.3233/FI-2010-314 – ident: S1471068417000242_ref9 – ident: S1471068417000242_ref5 – ident: S1471068417000242_ref1 – ident: S1471068417000242_ref7 doi: 10.1017/S1471068416000491 – ident: S1471068417000242_ref15 doi: 10.1016/j.artint.2012.04.001 – ident: S1471068417000242_ref10 doi: 10.1515/9781400884179 – ident: S1471068417000242_ref12 doi: 10.1017/S1471068410000220 – ident: S1471068417000242_ref2 doi: 10.1017/S1471068417000138 |
| SSID | ssj0016324 |
| Score | 2.4239795 |
| Snippet | The recent series 5 of the Answer Set Programming (ASP) system clingo provides generic means to enhance basic ASP with theory reasoning capabilities. We... The recent series 5 of the Answer Set Programming (ASP) system clingo provides generic means to enhance basic ASP with theory reasoning capabilities. We... |
| SourceID | proquest crossref cambridge |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 872 |
| SubjectTerms | Fragments Integers Regular Papers |
| Title | Clingo goes linear constraints over reals and integers |
| URI | https://www.cambridge.org/core/product/identifier/S1471068417000242/type/journal_article https://www.proquest.com/docview/1947583337 |
| Volume | 17 |
| WOSCitedRecordID | wos000412567800012&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1475-3081 dateEnd: 20241207 omitProxy: false ssIdentifier: ssj0016324 issn: 1471-0684 databaseCode: P5Z dateStart: 20010101 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1475-3081 dateEnd: 20241207 omitProxy: false ssIdentifier: ssj0016324 issn: 1471-0684 databaseCode: K7- dateStart: 20010101 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1475-3081 dateEnd: 20241207 omitProxy: false ssIdentifier: ssj0016324 issn: 1471-0684 databaseCode: BENPR dateStart: 20010101 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3dS8MwEA-6-eCL8xOnc-TBJzHYpU2bPomKQ1DGEIXhS0nzMYTRzrX695vr0rIh7MWXPqRNSe6S-93lLncIXSrFAyWMIEZSQwIVKyJMGBNrbKWhlX6Cmeqi8Es0GvHJJB67A7fChVXWMrES1CqXcEZ-Y43tCG4I-dHt_ItA1SjwrroSGtuoPaB0AOv8OSKNFwFSkVe3iyKI7uFB7dWElNHQCG2Qnw5wajW3wjpGrYvoCneGnf-OeB_tOY0T3y2XyAHa0tkh6tTVHLDb3EcoBGfuNMfTXBcYlE-xwBK0RygiURYYYj2xVTFnBRaZwlWeCas7HqP34ePbwxNxVRWI9EOvJKlODdfaSF_6gxRMGsONZ0FKx4z51LYGzKqFKgzCAddcS6Fia61Ki6Y-Z57xT1AryzN9irClnwX8NBLCEppZntvfUK48zWgoKRVddN3QNHF7o0iWcWVR8ocFXeTVZE-ky1AOc5xt6nLVdJkv03Ns-rhXM2plNA2Xzja_Pke7FCC9ii_roVa5-NYXaEf-lJ_Foo_a94-j8Wu_WoD2OWYfv0CQ3Rs |
| linkProvider | ProQuest |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LS8NAEB58gV6sT3xU3YNexMW4eW0OIqKWSmvxoOAtbvYhgrTaVMU_5W90Jk2KIvTmwesmuySZ2ZlvMzPfAOwaIwOjnOJOC8cDkxiuXJRwPGxlEVo_FbqiULgddzry7i65noDPqhaG0iorm1gYatPT9I_8EA_bMVUI-fHJ8wunrlEUXa1aaAzVomU_3vHIlh9fnqN894RoXNycNXnZVYBrP_IGPLOZk9Y67Wv_KCNI76Tz0EjbJAx9gaNBiLDIREF0JK20WpkET2savYkvQ8_5uO4kTAe-jImrvxXzUdSCqM-LaqaYsolkUEVRiaKaBmmM-PDIL37ncvjpE3-6hMLPNWr_7QstwHyJqNnpcAsswoTtLkGt6lbBSuO1DBEFqx967KFnc0bgWvWZJnRMTTIGOaNcVoYQ-ilnqmtYwaOB2HgFbv_k6Vdhqtvr2jVgKC8ENFmsFAo2RJ3GZYQ0ng1FpIVQ63AwkmFa7v08HebNxekvka-DV4k51SUDO73j07gp-6Mpz0P6kXE31yvF-PY0I63YGH95B2abN1fttH3ZaW3CnCD4UuTS1WFq0H-1WzCj3waPeX-7UHoG93-tQ1-z1Tf3 |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Clingo+goes+linear+constraints+over+reals+and+integers&rft.jtitle=Theory+and+practice+of+logic+programming&rft.au=JANHUNEN%2C+TOMI&rft.au=KAMINSKI%2C+ROLAND&rft.au=OSTROWSKI%2C+MAX&rft.au=SCHELLHORN%2C+SEBASTIAN&rft.date=2017-09-01&rft.issn=1471-0684&rft.eissn=1475-3081&rft.volume=17&rft.issue=5-6&rft.spage=872&rft.epage=888&rft_id=info:doi/10.1017%2FS1471068417000242&rft.externalDBID=n%2Fa&rft.externalDocID=10_1017_S1471068417000242 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1471-0684&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1471-0684&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1471-0684&client=summon |