Alexander Lochmann, Bertram Felgenhauer, Christian Sternagel, René Thiemann, Thomas Sternagel. Regular Tree Relations. Archive of Formal Proofs, 2021, 2021. [doi]
No references recorded for this publication.
No citations of this publication recorded.