Title: Teaching on-line information retrieval using intelligent terminals