Deciding simple infinity axiom sets with one binary relation by means of superpostulates
scientific article; zbMATH DE number 7614514
scientific article