Syntactic theories (1990)

by J-P Jouannaud
Venue:Proc. 15th Mathematical Foundations of Computer Science, Bansk`a Bystrica