Lisa Hutschenreiter, Rafael Peñaloza. An Automata View to Goal-Directed Methods. In Frank Drewes, Carlos Martín-Vide, Bianca Truthe, editors, Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings. Volume 10168 of Lecture Notes in Computer Science, pages 103-114, 2017. [doi]
Abstract is missing.