Source : Free On-Line Dictionary of Computing

Universal algebra
     
         The {model theory} of {first-order} {equational
        logic}.
     
        (1997-02-25)