Expressive power of finitely axiomatizable theories. I: Introduction, interpretations, and reductions to graphs
scientific article; zbMATH DE number 917991