doi dblp Automatic versus manual indexing W. A. van der Meulen | P. J. F. C. Janssen 1977 Volume 13 Issue 1