Folk algebras in algebra logic and computer science - Frias, Marcelo Fabián, 1968- (Advances in logic, 2002)