Stuart M. Shieber Yves Schabes Fernando C. N. Pereira Principles and Implementation of Deductive Parsing. 3-36 1995 24 J. Log. Program. 1&2 db/journals/jlp/jlp24.html#ShieberSP95