Axiomatizing re logics and languages (1996)

by M Clavel, J Meseguer
Venue:Proceedings of Re