978-0-19-866262-4. Ruggles, D. Fairchild (2007). "The Great Mosque of Cordoba: Fruited Trees and Ablution Fountains" (Podcast and summary). Doha: Hamad Bin Khalifa Symposium
Logics and Philosophy. Acumen (UK). ISBN 0-7735-2139-9. Proof by refutation trees. A good introduction to the varied interpretations of modal logic. Goldblatt
۲۰۱۹-۱۲-۰۲. Algorithms on strings, trees, and sequences: computer science and computational biology. «Lazy Dynamic Programming Can Be Eager». users.monash