[{"has_accepted_license":"1","publication":"Automated Technology for Verification and Analysis","project":[{"name":"Quantitative Reactive Modeling","grant_number":"267989","call_identifier":"FP7","_id":"25EE3708-B435-11E9-9278-68D0E5697425"}],"oa_version":"None","language":[{"iso":"eng"}],"conference":{"location":"Thiruvananthapuram, Kerala, India","end_date":"2012-10-06","start_date":"2012-10-03","name":"ATVA 2012"},"type":"book_chapter","date_published":"2012-01-01T00:00:00Z","oa":1,"publication_identifier":{"isbn":["9783642333859","9783642333866"],"issn":["0302-9743"],"eissn":["1611-3349"]},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","status":"public","file":[{"file_id":"5746","creator":"dernst","access_level":"open_access","relation":"main_file","date_updated":"2020-07-14T12:47:10Z","file_name":"2012_ATVA_Gupta.pdf","content_type":"application/pdf","date_created":"2018-12-18T13:07:35Z","checksum":"68415837a315de3cc4d120f6019d752c","file_size":465502}],"place":"Berlin, Heidelberg","author":[{"first_name":"Ashutosh","last_name":"Gupta","full_name":"Gupta, Ashutosh"}],"_id":"5745","intvolume":"      7561","title":"Improved Single Pass Algorithms for Resolution Proof Reduction","pubrep_id":"180","department":[{"_id":"ToHe"}],"date_created":"2018-12-18T13:01:46Z","article_processing_charge":"No","publication_status":"published","file_date_updated":"2020-07-14T12:47:10Z","ec_funded":1,"quality_controlled":"1","series_title":"LNCS","page":"107-121","publisher":"Springer Berlin Heidelberg","citation":{"ieee":"A. Gupta, “Improved Single Pass Algorithms for Resolution Proof Reduction,” in <i>Automated Technology for Verification and Analysis</i>, vol. 7561, Berlin, Heidelberg: Springer Berlin Heidelberg, 2012, pp. 107–121.","chicago":"Gupta, Ashutosh. “Improved Single Pass Algorithms for Resolution Proof Reduction.” In <i>Automated Technology for Verification and Analysis</i>, 7561:107–21. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. <a href=\"https://doi.org/10.1007/978-3-642-33386-6_10\">https://doi.org/10.1007/978-3-642-33386-6_10</a>.","apa":"Gupta, A. (2012). Improved Single Pass Algorithms for Resolution Proof Reduction. In <i>Automated Technology for Verification and Analysis</i> (Vol. 7561, pp. 107–121). Berlin, Heidelberg: Springer Berlin Heidelberg. <a href=\"https://doi.org/10.1007/978-3-642-33386-6_10\">https://doi.org/10.1007/978-3-642-33386-6_10</a>","ama":"Gupta A. Improved Single Pass Algorithms for Resolution Proof Reduction. In: <i>Automated Technology for Verification and Analysis</i>. Vol 7561. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg; 2012:107-121. doi:<a href=\"https://doi.org/10.1007/978-3-642-33386-6_10\">10.1007/978-3-642-33386-6_10</a>","ista":"Gupta A. 2012.Improved Single Pass Algorithms for Resolution Proof Reduction. In: Automated Technology for Verification and Analysis. vol. 7561, 107–121.","short":"A. Gupta, in:, Automated Technology for Verification and Analysis, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 107–121.","mla":"Gupta, Ashutosh. “Improved Single Pass Algorithms for Resolution Proof Reduction.” <i>Automated Technology for Verification and Analysis</i>, vol. 7561, Springer Berlin Heidelberg, 2012, pp. 107–21, doi:<a href=\"https://doi.org/10.1007/978-3-642-33386-6_10\">10.1007/978-3-642-33386-6_10</a>."},"year":"2012","date_updated":"2023-09-05T14:15:29Z","doi":"10.1007/978-3-642-33386-6_10","ddc":["005"],"volume":7561}]