@dblp

An Automata View to Goal-Directed Methods.

, and . LATA, volume 10168 of Lecture Notes in Computer Science, page 103-114. (2017)

Links and resources

Tags