A new species of the genus Pholcus (Araneae: Pholcidae) from Korea - Namkung, J.; Kim, J. P. (Korean Arachnology, 1990)