Extending definite clause grammars with scoping constructs (1990)

by Remo Pareschi, Dale Miller
Venue:7th Int. Conf. Logic Programming