C. Feier, T. Eiter: "Reasoning with Forest Logic Programs Using Fully Enriched Automata"; Report No. INFSYS RR-1843-15-02, 2015; 20 pages.
http://publik.tuwien.ac.at/files/PubDat_246236.pdf