Extension of First-Order Theories into Trees.

Khalil Djelloul, Thi-Bich-Hanh Dao

Browse the full AISC paper archive.