Two-Variable Universal Logic with Transitive Closure.

Emanuel Kieronski, Jakub Michaliszyn

Browse the full CSL paper archive.