{"user_id":"15504","title":"Sonic - Non-standard Inferences Go OilEd","citation":{"ama":"Turhan A-Y, Kissig C. Sonic - Non-standard Inferences Go OilEd. In: Basin DA, Rusinowitch M, eds. <i>Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings</i>. Vol 3097. Lecture Notes in Computer Science. Springer; 2004:321–325. doi:<a href=\"https://doi.org/10.1007/978-3-540-25984-8_22\">10.1007/978-3-540-25984-8_22</a>","short":"A.-Y. Turhan, C. Kissig, in: D.A. Basin, M. Rusinowitch (Eds.), Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, Springer, 2004, pp. 321–325.","apa":"Turhan, A.-Y., &#38; Kissig, C. (2004). Sonic - Non-standard Inferences Go OilEd. In D. A. Basin &#38; M. Rusinowitch (Eds.), <i>Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings</i> (Vol. 3097, pp. 321–325). Springer. <a href=\"https://doi.org/10.1007/978-3-540-25984-8_22\">https://doi.org/10.1007/978-3-540-25984-8_22</a>","ieee":"A.-Y. Turhan and C. Kissig, “Sonic - Non-standard Inferences Go OilEd,” in <i>Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings</i>, 2004, vol. 3097, pp. 321–325, doi: <a href=\"https://doi.org/10.1007/978-3-540-25984-8_22\">10.1007/978-3-540-25984-8_22</a>.","bibtex":"@inproceedings{Turhan_Kissig_2004, series={Lecture Notes in Computer Science}, title={Sonic - Non-standard Inferences Go OilEd}, volume={3097}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-25984-8_22\">10.1007/978-3-540-25984-8_22</a>}, booktitle={Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings}, publisher={Springer}, author={Turhan, Anni-Yasmin and Kissig, Christian}, editor={Basin, David A. and Rusinowitch, Michaël}, year={2004}, pages={321–325}, collection={Lecture Notes in Computer Science} }","mla":"Turhan, Anni-Yasmin, and Christian Kissig. “Sonic - Non-Standard Inferences Go OilEd.” <i>Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings</i>, edited by David A. Basin and Michaël Rusinowitch, vol. 3097, Springer, 2004, pp. 321–325, doi:<a href=\"https://doi.org/10.1007/978-3-540-25984-8_22\">10.1007/978-3-540-25984-8_22</a>.","chicago":"Turhan, Anni-Yasmin, and Christian Kissig. “Sonic - Non-Standard Inferences Go OilEd.” In <i>Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings</i>, edited by David A. Basin and Michaël Rusinowitch, 3097:321–325. Lecture Notes in Computer Science. Springer, 2004. <a href=\"https://doi.org/10.1007/978-3-540-25984-8_22\">https://doi.org/10.1007/978-3-540-25984-8_22</a>."},"volume":3097,"date_created":"2024-10-10T13:35:00Z","doi":"10.1007/978-3-540-25984-8_22","publisher":"Springer","publication":"Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings","year":"2004","page":"321–325","status":"public","_id":"56561","editor":[{"first_name":"David A.","last_name":"Basin","full_name":"Basin, David A."},{"full_name":"Rusinowitch, Michaël","last_name":"Rusinowitch","first_name":"Michaël"}],"type":"conference","intvolume":"      3097","author":[{"last_name":"Turhan","first_name":"Anni-Yasmin","id":"104470","full_name":"Turhan, Anni-Yasmin"},{"first_name":"Christian","last_name":"Kissig","full_name":"Kissig, Christian"}],"date_updated":"2024-10-10T13:35:14Z","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science"}