Parse Condition: Symbolic Encoding of LL(1) Parsing

Published in 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), 2018