General logics (1989)

by J Meseguer
Venue:In H.-D. E. et al (Ed.), Logic Colloquium ’87 (pp. 275–329). Science Publishers