Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Aït-Kaci, H. and Podelski, A., “Towards a Meaning of LIFE”, Journal of Logic Programming Vol 16, Nos 3,4, 1993.
2. Clark, K. L., “Negation as Failure” in Gallaire, H. and Minker, J. (Eds), Logic and Databases, Plenum Press, 1978.
3. Emele, M. and Zajac, R., “Typed Unification Grammars”, in Procs of the 13th International COLING, 1990.
4. Emele, M., “Die TFS Sprache und ihre Implementierung”, IMS, Universität Stuttgart, Germany, 1994.
5. Höhfeld, M. and Smolka, G., “Definite Relations over Constraint Languages”, LILOG report 53, IBM Deutschland, 1988.