DMCA

Extension of First-Order Theories into Trees

by Khalil Djelloul , Thi-bich-hanh Dao