Algebras of binary isolating formulas for tensor product theories
scientific article; zbMATH DE number 7615833
scientific article