@InProceedings{BD15, Author = "Bury, G. and Delahaye, D.", Year = "2015", Title = "{Integrating Simplex with Tableaux}", Editor = "de Nivelle, H.", BookTitle = "{Proceedings of the 24th Conference on Automated Reasoning with Analytic Tableaux and Related Methods}", Place = "Wroclaw, Poland", Series = "Lecture Notes in Computer Science", Number = "9323", Pages = "86-101", Publisher = "Springer-Verlag", Comment = "" }