A finitary relational algebra for classical firstorder logic (1991)

by P A S Veloso, A M Haeberer
Venue:Bulletin of the Section of Logic