@InProceedings{Her18, Author = "Hermant, O.", Year = "2018", Title = "{Polarized Rewriting and Tableaux in B Set Theory}", Editor = "Cristia, M. and Delahaye, D. and Dubois, C.", BookTitle = "{Proceedings of the 3rd International Workshop on Sets and Tools}", Place = "Southampton, United Kingdom", Pages = "67-72", Series = "CEUR Workshop Proceedings", Number = "2199", Comment = "" }