@article{BSL20_2_Veloso_Haeberer,
author = {Paulo A. S. VELOSO and Armando M. HAEBERER},
title = {A Finitary Relational Algebra for Classical First-Order Logic},
journal = {Bulletin of the Section of Logic},
volume = {20},
number = {2},
year = {1991},
pages = {52--62}
}