Safety Signatures for First-order Languages and Their (0)

by A Avron
Venue:Applications, in First-Order Logic revisited (Hendricks et al, eds.), 37-58, Logos Verlag