On transitive closure logic (1992)

by E GRÄDEL
Venue:In CSL 91. LNCS