![]() |
@article{DBLP:journals/jlp/HaasJ97,
author = {Juergen Haas and
Bharat Jayaraman},
title = {From Context-Free to Definite-Clause Grammars: A Type-Theoretic
Approach},
journal = {J. Log. Program.},
volume = {30},
number = {1},
year = {1997},
pages = {1-23},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2003-11-27 by Michael Ley (ley@uni-trier.de)