A.M.: A finitary relational algebra for classical first-order logic. Bulletin of the Section of Logic 20 (1991)

by P A S Veloso, Haeberer