%0 Conference Paper %1 conf/inap/WittocxCD09 %A Wittocx, Johan %A Cat, Broes De %A Denecker, Marc %B INAP %D 2009 %E Abreu, Salvador %E Seipel, Dietmar %I Springer %K dblp %P 85-101 %T Towards Computing Revised Models for FO Theories. %U http://dblp.uni-trier.de/db/conf/inap/inap2009.html#WittocxCD09 %V 6547 %@ 978-3-642-20588-0

@inproceedings{conf/inap/WittocxCD09, added-at = {2024-02-05T00:00:00.000+0100}, author = {Wittocx, Johan and Cat, Broes De and Denecker, Marc}, biburl = {https://www.bibsonomy.org/bibtex/27e3a9183fe033d36030d95ee5e5769c7/dblp}, booktitle = {INAP}, crossref = {conf/inap/2009}, editor = {Abreu, Salvador and Seipel, Dietmar}, ee = {https://doi.org/10.1007/978-3-642-20589-7_6}, interhash = {f732ba790773c05b093e988daa507df6}, intrahash = {7e3a9183fe033d36030d95ee5e5769c7}, isbn = {978-3-642-20588-0}, keywords = {dblp}, pages = {85-101}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T11:34:50.000+0200}, title = {Towards Computing Revised Models for FO Theories.}, url = {http://dblp.uni-trier.de/db/conf/inap/inap2009.html#WittocxCD09}, volume = 6547, year = 2009 }