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...

Full description

Saved in:
Bibliographic Details
Published in:Theory and practice of logic programming Vol. 17; no. 5-6; pp. 872 - 888
Main Authors: JANHUNEN, TOMI, KAMINSKI, ROLAND, OSTROWSKI, MAX, SCHELLHORN, SEBASTIAN, WANKO, PHILIPP, SCHAUB, TORSTEN
Format: Journal Article
Language:English
Published: Cambridge, UK Cambridge University Press 01.09.2017
Subjects:
Fragments
Integers
Regular Papers
Constraint Answer Set Programming (CASP)
Theory Solving
Constraint Processing (CP)
Answer Set Programming (ASP)
ISSN:1471-0684, 1475-3081
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
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
ProQuest Technology Collection
ProQuest One Community College
ProQuest Central Korea
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
ProQuest One Academic Middle East (New)
ProQuest One Academic Eastern Edition (DO NOT USE)
ProQuest 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/eLvHCXMwpV3NS8MwFH_o5sGL8xOnc-TgSSy2TdskJ1HZEIQxRGF4GW2aDGG0c63-_eZ1adkQdvHSw2sDaT7e7728l98DuDb-lhsplzlRImMnSEK8rOwHxudhoaCuNIivq2ITbDTik4kY2wO3wqZV1jqxUtRpLvGM_M442wxvCFF2v_hysGoURldtCY1daHu-7-E6f2FOE0VAKvLqdhHD7B4e1FFNpIxGIcqQnw5xap1bYROjNlV0hTvDzn97fAgH1uIkD6slcgQ7KjuGTl3NgdjNfQIRBnNnOZnlqiBofMZLItF6xCISZUEw15MYE3NekDhLScUzYWzHU3gfDt6enh1bVcGRNHJLJ1GJ5kppSSX1EnRpNNeuASklwpD6RhqExixMoyDyuOJKxqkw3qo0aEp56Gp6Bq0sz9Q5EKMRUqaoiGJBgyAVQqeKy1hLrTxtLLEu3DZjOrV7o5iu8srY9M8UdMGth30qLUM5_uN8W5ObpsliRc-x7eNePVFrvWlm6WL760vY9xHSq_yyHrTK5be6gj35U34Wyz60Hwej8Wu_WoDmOQ4_fgFeH9wn
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LS8NAEB60CnqxPrFadQ96EYNpNsluDiKilpbW4qFCbzHZ7BahpLWpin_K3-hOHqVF6K0Hr5ts2GRmZ77JzH4DcK7jLdOVJjPcUASGHTp4WNmydczDHI-aQnt8lTabYJ0O7_W85xX4Kc7CYFllYRNTQx0NBf4jv9bBNsMTQpTdjt4N7BqF2dWihUamFi35_aVDtuSm-aDle2FZ9cfufcPIuwoYgrrmxAhlqLiUSlBBayFCesWVqY209ByHWnrUdjQsilzbrXHJpQgiT0drQnsTyh1TUf3cVVizKWfI1d9ixjRrgdTn6WkmhtVE3C6yqEhRjYM4hnx46BdnuRzmfeK8S0j9XL38377QNmzliJrcZVtgB1ZkvAvlolsFyY3XHriYrO4PSX8oE4LgOhgTgegYm2RMEoK1rERD6EFCgjgiKY-Gxsb78LKU1R9AKR7G8hCItngRk9RzA4_aduR5KpJcBEooWVMaaVbgaipDP9_7iZ_VzTH_j8grYBZi9kXOwI7vOFg05XI6ZZTRjyy6uVooxsxqplpxtPjyGWw0uk9tv93stI5h00L4ktbSVaE0GX_IE1gXn5O3ZHyaKj2B12Xr0C-xUjcD
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.pub=Cambridge+University+Press&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.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