Algebraic Relativization and Arrow Logic (1995)

by M Marx