Deciding Whether or Not a Synchronous Relation is Regular Prefix

From MaRDI portal
Publication:2934880