TY - BOOK AU - Studer R ED - International Scientific Symposium on Natural Language and Logic( 1989 : Hamburg ) ED - International Scientific Symposium on Natural Language and Logic TI - Natural language and logic U1 - 5.13 PY - 1990/// CY - Berlin PB - Springer Verlag KW - Logic programming KW - Programming language ER -