Robert Glück, Masahiko Kawabe. Derivation of Deterministic Inverse Programs Based on LR Parsing. In Yukiyoshi Kameyama, Peter J. Stuckey, editors, Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings. Volume 2998 of Lecture Notes in Computer Science, pages 291-306, Springer, 2004. [doi]
Abstract is missing.