Derivation of deterministic inverse programs based on LR parsing (2004)

by R Glück, M Kawabe
Venue:In FLOPS ’04: The Seventh International Symposium on Functional and Logic Programming