@InProceedings{Bur11, Author = "Burel, G.", Year = "2011", Title = "{Experimenting with Deduction Modulo}", Editor = "Bj{\o}rner, N. and Sofronie-Stokkermans, V.", BookTitle = "{Proceedings of the 23rd International Conference on Automated Deduction}", Place = "Wroclaw, Poland", Series = "Lecture Notes in Artificial Intelligence", Number = "6803", Pages = "162-176", Publisher = "Springer-Verlag", Comment = "" }