Making Finite-State Methods Applicable to Languages Beyond Context-Freeness via Multi-dimensional Trees view Conference Paper uri icon