Finitary Relational Calculus. - Fritz Henglein; Mikkel Kragh Mathiesen; Mads Rehof (DBPL, 2025)