This image was acquired from
wikimedia. It was marked as Public Domain or CC0 and is free to use. To verify, go to the source and check the information there.
LocamenteConfluente. diagram pt Definio de confluncia local ou fraca Linhas slidas representam quantificador universal linhas tracejadas representam quantificador existencial Antonino Antonino Livre Term rewriting systems
Page 2023 Free-images.com. All images are Public Domain