{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T19:23:37Z","timestamp":1710271417640},"reference-count":16,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.99.7","type":"journal-article","created":{"date-parts":[[2012,10,22]],"date-time":"2012-10-22T23:29:08Z","timestamp":1350948548000},"page":"50-65","source":"Crossref","is-referenced-by-count":7,"title":["Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games"],"prefix":"10.4204","volume":"99","author":[{"given":"Gijs","family":"Kant","sequence":"first","affiliation":[]},{"given":"Jaco","family":"van de Pol","sequence":"additional","affiliation":[]}],"member":"2720","published-online":{"date-parts":[[2012,10,23]]},"reference":[{"key":"10.1007\/978-3-642-00431-5_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00431-5_2"},{"key":"10.1093\/logcom\/exp004","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp004"},{"key":"10.1007\/978-3-540-85762-4_6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85762-4_6"},{"key":"10.1007\/978-3-642-14295-6_31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_31"},{"key":"10.1007\/978-3-540-74407-8_9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74407-8_9"},{"key":"10.1007\/978-3-540-85762-4_30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85762-4_30"},{"key":"10.1007\/978-3-642-04761-9_15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04761-9_15"},{"key":"10.1016\/j.scico.2004.08.002","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.08.002"},{"key":"10.1016\/j.tcs.2005.06.016","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.06.016"},{"key":"10.1007\/3-540-46541-3_24","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46541-3_24"},{"key":"10.1016\/0304-3975(82)90125-6","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(82)90125-6"},{"key":"10.1007\/3-540-36387-4_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36387-4_2"},{"key":"10.1016\/j.ic.2010.11.025","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2010.11.025"},{"key":"10.1007\/978-3-642-04761-9_5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04761-9_5"},{"key":"10.1016\/j.entcs.2008.11.011","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.11.011"},{"key":"10.1016\/S0304-3975(98)00009-7","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00009-7"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2012,10,25]],"date-time":"2012-10-25T20:19:25Z","timestamp":1351196365000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1210.6414v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,23]]},"references-count":16,"URL":"https:\/\/doi.org\/10.4204\/eptcs.99.7","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,10,23]]}}}
