{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T22:35:50Z","timestamp":1649198150643},"reference-count":29,"publisher":"Oxford University Press (OUP)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2015,4,1]]},"DOI":"10.1093\/logcom\/exs057","type":"journal-article","created":{"date-parts":[[2013,2,23]],"date-time":"2013-02-23T20:19:12Z","timestamp":1361650752000},"page":"473-523","source":"Crossref","is-referenced-by-count":0,"title":["Quantifiers in logic and proof-search using permissive-nominal terms and sets"],"prefix":"10.1093","volume":"25","author":[{"given":"M. J.","family":"Gabbay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.-P.","family":"Wirth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2013,2,23]]},"reference":[{"key":"1_35646417","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF01531058","volume":"4","year":"1991","journal-title":"ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE"},{"key":"3_36393580","doi-asserted-by":"crossref","first-page":"1027","DOI":"10.2178\/jsl\/1102022211","volume":"69","year":"2004","journal-title":"JOURNAL OF SYMBOLIC LOGIC"},{"key":"6_45261523","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/j.entcs.2007.01.018","volume":"174","year":"2007","journal-title":"ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE"},{"key":"8_45261524","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/1107523.1107537","volume":"36","year":"2005","journal-title":"SIGACT NEWS LOGIC COLUMN"},{"key":"9_45261525","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/s10817-006-9045-y","volume":"38","year":"2007","journal-title":"JOURNAL OF AUTOMATED REASONING"},{"key":"10_35580380","first-page":"381","volume":"5","year":"1972","journal-title":"INDAGATIONES MATHEMATICAE"},{"key":"13_45261526","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1016\/j.tcs.2012.06.007","volume":"451","year":"2012","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"issue":"6","key":"17_37343772","doi-asserted-by":"publisher","first-page":"769","DOI":"10.1093\/jigpal\/jzq006","volume":"18","year":"2010","journal-title":"Logic Journal of IGPL","ISSN":"http:\/\/id.crossref.org\/issn\/1367-0751","issn-type":"print"},{"key":"19_29910940","doi-asserted-by":"crossref","first-page":"917","DOI":"10.1016\/j.ic.2006.12.002","volume":"205","year":"2007","journal-title":"INFORMATION AND COMPUTATION"},{"key":"24_32192207","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1016\/j.jal.2005.10.012","volume":"5","year":"2007","journal-title":"JOURNAL OF APPLIED LOGIC"},{"key":"25_35232791","doi-asserted-by":"crossref","first-page":"982","DOI":"10.1016\/j.ic.2006.10.010","volume":"205","year":"2007","journal-title":"INFORMATION AND COMPUTATION"},{"key":"26_42658702","doi-asserted-by":"crossref","first-page":"161","DOI":"10.2178\/bsl\/1305810911","volume":"17","year":"2011","journal-title":"BULLETIN OF SYMBOLIC LOGIC"},{"issue":"6","key":"28_42658694","doi-asserted-by":"publisher","first-page":"967","DOI":"10.1093\/jigpal\/jzs005","volume":"20","year":"2012","journal-title":"Logic Journal of IGPL","ISSN":"http:\/\/id.crossref.org\/issn\/1367-0751","issn-type":"print"},{"key":"30_45261528","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/j.jal.2012.03.001","volume":"10","year":"2012","journal-title":"JOURNAL OF APPLIED LOGIC"},{"key":"32_37343775","doi-asserted-by":"crossref","first-page":"1369","DOI":"10.1016\/j.ic.2009.06.004","volume":"207","year":"2009","journal-title":"INFORMATION AND COMPUTATION"},{"key":"36_32192208","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/s00165-007-0056-1","volume":"20","year":"2008","journal-title":"FORMAL ASPECTS OF COMPUTING"},{"issue":"4","key":"37_29910934","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1093\/logcom\/exm064","volume":"18","year":"2008","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"issue":"6","key":"39_35232785","doi-asserted-by":"publisher","first-page":"1455","DOI":"10.1093\/logcom\/exp033","volume":"19","year":"2009","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"41_37343777","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1016\/j.ic.2009.09.003","volume":"208","year":"2010","journal-title":"INFORMATION AND COMPUTATION"},{"key":"44_32192209","first-page":"341","volume":"13","year":"2001","journal-title":"FORMAL ASPECTS OF COMPUTING"},{"key":"47_27511006","doi-asserted-by":"crossref","first-page":"81","DOI":"10.2307\/2266967","volume":"15","year":"1950","journal-title":"JOURNAL OF SYMBOLIC LOGIC"},{"key":"48_45261529","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/BF00881956","volume":"13","year":"1994","journal-title":"JOURNAL OF AUTOMATED REASONING"},{"key":"49_45261530","first-page":"274","volume":"35","year":"1933","journal-title":"TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY"},{"key":"52_29264953","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1023\/A:1005843212881","volume":"19","year":"1997","journal-title":"JOURNAL OF AUTOMATED REASONING"},{"key":"53_37343778","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0747-7171(92)90011-R","volume":"14","year":"1992","journal-title":"JOURNAL OF SYMBOLIC COMPUTATION"},{"key":"55_45261531","first-page":"102","volume":"26","year":"1960","journal-title":"THEORIA A SWEDISH JOURNAL OF PHILOSOPHY"},{"key":"61_29910954","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1016\/j.tcs.2004.06.016","volume":"323","year":"2004","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"62_35232798","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/s10817-008-9097-2","volume":"40","year":"2008","journal-title":"JOURNAL OF AUTOMATIC REASONING"},{"issue":"1","key":"64_20334596","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/jigpal\/12.1.1","volume":"12","author":"Wirth","year":"2004","journal-title":"Logic Journal of IGPL","ISSN":"http:\/\/id.crossref.org\/issn\/1367-0751","issn-type":"print"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/25\/2\/473\/2796729\/exs057.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T06:59:51Z","timestamp":1503471591000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exs057"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,2,23]]},"references-count":29,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2015,4,1]]},"published-print":{"date-parts":[[2015,4,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exs057","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,2,23]]}}}