Using Higher-Order Logic Programming for Semantic Interpretation of Coordinate Constructs

Seth Kulick Using Higher-Order Logic Programming for Semantic Interpretation of Coordinate Constructs http://arxiv.org/abs/cmp-lg/9506004 1995 CoRR abs/cmp-lg/9506004 db/journals/corr/corr9506.html#abs-cmp-lg-9506004 informal publication