@InProceedings{LN20, Author = "Lampert, T. and Nakano, A.", Year = "2020", Title = "{Deciding Simple Infinity Axiom Sets with One Binary Relation by Superpostulates}", Editor = "Peltier, N. and Sofronie-Stokkermans, V.", BookTitle = "{Proceedings of the 10th International Joint Conference on Automated Reasoning}", Place = "Online", Series = "Lecture Notes in Artificial Intelligence", Number = "12166", Pages = "201-217", Comment = "TPTPRef" }