CITATION STYLE
Thomas, W. (2008). Model Transformations in Decidability Proofs for Monadic Theories (pp. 23–31). https://doi.org/10.1007/978-3-540-87531-4_3
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley