%0 Conference Paper %1 conf/dagstuhl/Sofronie-StokkermansIJ07 %A Sofronie-Stokkermans, Viorica %A Ihlemann, Carsten %A Jacobs, Swen %B Deduction and Decision Procedures %D 2007 %E Baader, Franz %E Cook, Byron %E Giesl, Jürgen %E Nieuwenhuis, Robert %I Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany %K dblp %T Local Theory Extensions, Hierarchical Reasoning and Applications to Verification. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P7401.html#Sofronie-StokkermansIJ07 %V 07401

@inproceedings{conf/dagstuhl/Sofronie-StokkermansIJ07, added-at = {2018-08-23T00:00:00.000+0200}, author = {Sofronie-Stokkermans, Viorica and Ihlemann, Carsten and Jacobs, Swen}, biburl = {https://www.bibsonomy.org/bibtex/294ca859a205801e59edfd5d48673d0c6/dblp}, booktitle = {Deduction and Decision Procedures}, crossref = {conf/dagstuhl/2007P7401}, editor = {Baader, Franz and Cook, Byron and Giesl, Jürgen and Nieuwenhuis, Robert}, ee = {http://drops.dagstuhl.de/opus/volltexte/2007/1250}, interhash = {f0f1ae9479d35795e4e446d01521ac29}, intrahash = {94ca859a205801e59edfd5d48673d0c6}, keywords = {dblp}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2024-04-09T10:25:39.000+0200}, title = {Local Theory Extensions, Hierarchical Reasoning and Applications to Verification.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P7401.html#Sofronie-StokkermansIJ07}, volume = 07401, year = 2007 }