Testing and debugging techniques for answer set solver development

This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is able to reveal various defects such as unsound and incomplete behavior, i.e. invalid answer sets and inability to find exist...

Full description

Saved in:
Bibliographic Details
Published in:Theory and practice of logic programming Vol. 10; no. 4-6; pp. 741 - 758
Main Authors: BRUMMAYER, ROBERT, JÄRVISALO, MATTI
Format: Journal Article
Language:English
Published: Cambridge, UK Cambridge University Press 01.07.2010
Subjects:
Regular Papers
debugging
answer set solvers
answer set programming
testing
ISSN:1471-0684, 1475-3081
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is able to reveal various defects such as unsound and incomplete behavior, i.e. invalid answer sets and inability to find existing solutions, in state-of-the-art answer set solver implementations. Moreover, we develop delta debugging techniques for shrinking failure-inducing inputs on which solvers exhibit defective behavior. In particular, we develop a delta debugging algorithm in the context of answer set solving, and evaluate two different elimination strategies for the algorithm.
AbstractList This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is able to reveal various defects such as unsound and incomplete behavior, i.e. invalid answer sets and inability to find existing solutions, in state-of-the-art answer set solver implementations. Moreover, we develop delta debugging techniques for shrinking failure-inducing inputs on which solvers exhibit defective behavior. In particular, we develop a delta debugging algorithm in the context of answer set solving, and evaluate two different elimination strategies for the algorithm.
Abstract This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is able to reveal various defects such as unsound and incomplete behavior, i.e. invalid answer sets and inability to find existing solutions, in state-of-the-art answer set solver implementations. Moreover, we develop delta debugging techniques for shrinking failure-inducing inputs on which solvers exhibit defective behavior. In particular, we develop a delta debugging algorithm in the context of answer set solving, and evaluate two different elimination strategies for the algorithm. [PUBLICATION ABSTRACT]
Author JÄRVISALO, MATTI
BRUMMAYER, ROBERT
Author_xml – sequence: 1
  givenname: ROBERT
  surname: BRUMMAYER
  fullname: BRUMMAYER, ROBERT
  organization: Institute for Formal Models and Verification, Johannes Kepler University Linz, Austria
– sequence: 2
  givenname: MATTI
  surname: JÄRVISALO
  fullname: JÄRVISALO, MATTI
  organization: Department of Computer Science, University of Helsinki, Finland
BookMark eNp9kEtLw0AQxxepYFv9AN6C9-hONtlNj1p8QcGD9Rz2MRtT0k3d3Vb89ia2ICg6l3n-Zv7MhIxc55CQc6CXQEFcPUMugPIyB9obm_EjMu5LRcpoCaOvGNKhf0ImIawoBc6yfExulhhi4-pEOpMYVNu6HrKI-tU1b1sMie183wzv6JOAMQldu-tDgztsu80aXTwlx1a2Ac8Ofkpe7m6X84d08XT_OL9epJoBjynoQhmccSUAlQJtLM-tKjOjrTAzxEwyDtIAyBzBlkKgtAVnuVAgNdWaTcnFfu_Gd4OyWK26rXf9yaqEIpsJnhX9EOyHtO9C8GirjW_W0n9UQKvhU9WvT_WM-MHoJsrYdC562bT_kuxAyrXyjanxW9Pf1CfUQX66
CitedBy_id crossref_primary_10_1002_stvr_1566
crossref_primary_10_1145_2043174_2043195
Cites_doi 10.1007/978-3-642-04238-6_14
10.1007/11591191_8
10.1109/32.988498
10.1007/978-3-642-04238-6_20
10.1007/978-3-642-81955-1_28
10.1007/978-3-540-24605-3_37
10.1007/11546207_37
10.1007/978-3-540-73368-3_34
10.1093/logcom/exn038
10.1016/S0004-3702(02)00187-X
10.1007/978-3-540-72200-7_3
10.1007/s10817-006-9033-2
10.1145/1149114.1149117
10.1016/j.artint.2004.04.004
10.3233/SAT190039
10.1145/1134285.1134307
10.1007/978-3-642-04238-6_75
10.1007/978-3-540-72200-7_5
10.3166/jancl.16.35-86
10.1023/A:1018930122475
ContentType Journal Article
Copyright Copyright © Cambridge University Press 2010
Copyright_xml – notice: Copyright © Cambridge University Press 2010
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/S1471068410000396
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
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)
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
CrossRef
Computer Science Database
Database_xml – sequence: 1
  dbid: BENPR
  name: ProQuest Central
  url: https://www.proquest.com/central
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 1475-3081
EndPage 758
ExternalDocumentID 2202539041
10_1017_S1471068410000396
Genre Feature
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-c316t-1c5bde96b71ebb1cdf64fb82dcf7d9ee2a361ad11a4e1f877eaf56347b1ac0cc3
IEDL.DBID P5Z
ISICitedReferencesCount 3
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000280508200025&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 Sun Jul 13 05:16:17 EDT 2025
Sat Nov 29 08:19:26 EST 2025
Tue Nov 18 21:36:20 EST 2025
Wed Mar 13 05:36:34 EDT 2024
IsPeerReviewed true
IsScholarly true
Issue 4-6
Keywords debugging
answer set solvers
answer set programming
testing
Language English
License https://www.cambridge.org/core/terms
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c316t-1c5bde96b71ebb1cdf64fb82dcf7d9ee2a361ad11a4e1f877eaf56347b1ac0cc3
Notes SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
PQID 815297625
PQPubID 43613
PageCount 18
ParticipantIDs proquest_journals_815297625
crossref_primary_10_1017_S1471068410000396
crossref_citationtrail_10_1017_S1471068410000396
cambridge_journals_10_1017_S1471068410000396
PublicationCentury 2000
PublicationDate 20100700
2010-07-00
20100701
PublicationDateYYYYMMDD 2010-07-01
PublicationDate_xml – month: 07
  year: 2010
  text: 20100700
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 2010
Publisher Cambridge University Press
Publisher_xml – name: Cambridge University Press
References S1471068410000396_ref29
Gebser (S1471068410000396_ref17) 2008
S1471068410000396_ref25
Gelfond (S1471068410000396_ref18) 1988
S1471068410000396_ref27
S1471068410000396_ref28
S1471068410000396_ref22
S1471068410000396_ref23
S1471068410000396_ref24
Biere (S1471068410000396_ref3) 2008; 4
S1471068410000396_ref20
Takanen (S1471068410000396_ref32) 2008
Ward (S1471068410000396_ref35) 2004
Zhao (S1471068410000396_ref38) 2003
Drescher (S1471068410000396_ref12) 2008
Claessen (S1471068410000396_ref9) 2000
S1471068410000396_ref19
Sutton (S1471068410000396_ref30) 2007
de Moura (S1471068410000396_ref10) 2008
S1471068410000396_ref14
S1471068410000396_ref37
Barrett (S1471068410000396_ref2) 2007
S1471068410000396_ref16
S1471068410000396_ref4
S1471068410000396_ref11
S1471068410000396_ref33
S1471068410000396_ref34
S1471068410000396_ref1
S1471068410000396_ref13
Zeller (S1471068410000396_ref36) 2005
S1471068410000396_ref8
S1471068410000396_ref6
S1471068410000396_ref5
Misherghi (S1471068410000396_ref26) 2006
Gebser (S1471068410000396_ref15) 2007
Syrjänen (S1471068410000396_ref31) 2006
Janhunen (S1471068410000396_ref21) 2004
Brummayer (S1471068410000396_ref7) 2009
References_xml – ident: S1471068410000396_ref22
  doi: 10.1007/978-3-642-04238-6_14
– ident: S1471068410000396_ref1
  doi: 10.1007/11591191_8
– ident: S1471068410000396_ref5
– start-page: 77
  volume-title: Proceedings of the 11th International Workshop on Nonmonotonic Reasoning (NMR)
  year: 2006
  ident: S1471068410000396_ref31
– volume-title: Fuzzing for Software Security Testing and Quality Assurance
  year: 2008
  ident: S1471068410000396_ref32
– ident: S1471068410000396_ref37
  doi: 10.1109/32.988498
– ident: S1471068410000396_ref27
  doi: 10.1007/978-3-642-04238-6_20
– ident: S1471068410000396_ref34
  doi: 10.1007/978-3-642-81955-1_28
– ident: S1471068410000396_ref14
  doi: 10.1007/978-3-540-24605-3_37
– ident: S1471068410000396_ref13
– ident: S1471068410000396_ref25
  doi: 10.1007/11546207_37
– volume-title: Fuzzing — Brute Force Vulnerability Discovery
  year: 2007
  ident: S1471068410000396_ref30
– start-page: 298
  volume-title: Proceedings of the 19th International Conference on Computer Aided Verification (CAV 2007)
  year: 2007
  ident: S1471068410000396_ref2
  doi: 10.1007/978-3-540-73368-3_34
– start-page: 331
  volume-title: Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2004)
  year: 2004
  ident: S1471068410000396_ref21
– start-page: 286
  volume-title: Proceedings of the 20th International Joint Conference on Articifial Intelligence (IJCAI)
  year: 2007
  ident: S1471068410000396_ref15
– start-page: 1070
  volume-title: Proceedings of the 5th International Conference and Symposium on Logic Programming (ICLP/SLP 1988)
  year: 1988
  ident: S1471068410000396_ref18
– ident: S1471068410000396_ref6
  doi: 10.1093/logcom/exn038
– start-page: 337
  volume-title: Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008)
  year: 2008
  ident: S1471068410000396_ref10
– ident: S1471068410000396_ref29
  doi: 10.1016/S0004-3702(02)00187-X
– start-page: 448
  volume-title: Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI)
  year: 2008
  ident: S1471068410000396_ref17
– ident: S1471068410000396_ref16
  doi: 10.1007/978-3-540-72200-7_3
– ident: S1471068410000396_ref19
  doi: 10.1007/s10817-006-9033-2
– ident: S1471068410000396_ref23
  doi: 10.1145/1149114.1149117
– start-page: 302
  volume-title: Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)
  year: 2004
  ident: S1471068410000396_ref35
– start-page: 422
  volume-title: Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR)
  year: 2008
  ident: S1471068410000396_ref12
– ident: S1471068410000396_ref24
  doi: 10.1016/j.artint.2004.04.004
– volume: 4
  start-page: 75
  year: 2008
  ident: S1471068410000396_ref3
  article-title: PicoSAT essentials
  publication-title: Journal on Satisfiability, Boolean Modeling and Computation
  doi: 10.3233/SAT190039
– ident: S1471068410000396_ref8
– start-page: 142
  volume-title: Proceedings of the 28th International Conference on Software Engineering (ICSE)
  year: 2006
  ident: S1471068410000396_ref26
  doi: 10.1145/1134285.1134307
– start-page: 268
  volume-title: Proceedings of the 5th ACM SIGPLAN International Conference on Functional Programming (ICFP 2000)
  year: 2000
  ident: S1471068410000396_ref9
– ident: S1471068410000396_ref33
– start-page: 239
  volume-title: Proceedings of the 19th International Conference on Logic Programming (ICLP)
  year: 2003
  ident: S1471068410000396_ref38
– start-page: 1
  volume-title: Proceedings of the 7th International Workshop on Satisfiability Modulo Theories (SMT)
  year: 2009
  ident: S1471068410000396_ref7
– volume-title: Why Programs Fail. A Guide to Systematic Debugging
  year: 2005
  ident: S1471068410000396_ref36
– ident: S1471068410000396_ref11
  doi: 10.1007/978-3-642-04238-6_75
– ident: S1471068410000396_ref4
  doi: 10.1007/978-3-540-72200-7_5
– ident: S1471068410000396_ref20
  doi: 10.3166/jancl.16.35-86
– ident: S1471068410000396_ref28
  doi: 10.1023/A:1018930122475
SSID ssj0016324
Score 1.8490431
Snippet This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz...
Abstract This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP...
SourceID proquest
crossref
cambridge
SourceType Aggregation Database
Enrichment Source
Index Database
Publisher
StartPage 741
SubjectTerms Regular Papers
Title Testing and debugging techniques for answer set solver development
URI https://www.cambridge.org/core/product/identifier/S1471068410000396/type/journal_article
https://www.proquest.com/docview/815297625
Volume 10
WOSCitedRecordID wos000280508200025&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: 20241209
  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: 20241209
  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: 20241209
  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/eLvHCXMwpV3PS8MwFH64zYMX50-c05GDJzG4tE3TnsTJhqCMIVOGl5Em6RCkm2un_75Jm3YMYRcvhSZNCX0veS_vff0ewFWoaBgQX2KPOR72BHOwvqf6oogjPEeKPIP_9syGw2AyCUcWm5NaWGW5J-YbtZwLEyO_1S9wtOl06N3iC5uiUSa5aito1KBhSBJM5YYRfa-SCIaJPP-5iBlwT-CVSU3DGG0aTVse3nbDDWqFTRO1uUPnZmfQ_OeED2Df-pvovlCQQ9hRyRE0y1oOyC7tY-iNDd1GMkM8kUiqaGUi0TNUUbymSHu3ujP90aNSlSGts3oVILkGHZ3A66A_fnjEtr4CFi7xM0wEjaQK_YgRFUVEyNj34ijQ8omZDJVyuOsTLgnhniJxwJjiMfVdj0WEi64Q7inUk3mizgDpky6VVGlvKpLawqmQa0dDK6lvGF4dl7fgpvq8U7tK0mmBMGPTP9JoQbeUwFRYrnJTMuNz25DrasiiIOrY9nC7lNl6NpXAzrf2tmGvQBAYyO4F1LPlSl3CrvjOPtJlBxq9_nD00oHaE8OdXB9_Abd04P0
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1JS8QwFH64gV7cxd0c9CIWJ2natAcRV2aYcfAwytxqm6SDIHVpVfxR_kdfuskgzG0OXgptmpD2rcl7-R7Avq8d36Ousrhg3OJSMAvvHbxoyiRnSuYR_PuO6Ha9ft-_nYDv6iyMSausdGKuqNWzNHvkxzgAQ9PJnNOXV8sUjTLB1aqCRsEVbf31iSu29KR1ieQ9YOz6qnfRtMqiApa0qZtZVDqR0r4bCaqjiEoVuzyOPJxULJSvNQttl4aK0pBrGntC6DB2XJuLiIayIaWN407CNLc9YcSqLaw6aGGQz_PDTMIkE3m8CqIahGrz0DzLt9NtfwjKYdgkDluE3MxdL_yzH7QI86U_Tc4KAViCCZ0sw0JVq4KUqmsFznsGTiQZkDBRROno3ey0D0gNYZsS9N6xMf3EXqnOCMokSjlRv0lVq3A3li9Zg6nkOdHrQHAl7yhHo7cYKbTg2g_RkUIhdA2CLbPDDTiqyRmUWiANigw6Efyh_gY0KooHssRiNyVBnkZ1Oay7vBRAJKNe3qp45Hc2NYNsjmzdg9lm76YTdFrd9hbMFdkSJj15G6ayt3e9AzPyI3tM33Zz7ifwMG5u-gEC5j_O
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=Testing+and+debugging+techniques+for+answer+set+solver+development&rft.jtitle=Theory+and+practice+of+logic+programming&rft.au=BRUMMAYER%2C+ROBERT&rft.au=J%C3%84RVISALO%2C+MATTI&rft.date=2010-07-01&rft.pub=Cambridge+University+Press&rft.issn=1471-0684&rft.eissn=1475-3081&rft.volume=10&rft.issue=4-6&rft.spage=741&rft_id=info:doi/10.1017%2FS1471068410000396&rft.externalDocID=2202539041
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