"Matching mu-Logic: Foundation of K Framework (Invited Paper)."

Xiaohong Chen, Grigore Rosu (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics