T. Eiter, M. Fink, G. Sabbatini, H. Tompits: "Using Methods of Declarative Logic Programming for Intelligent InformationAgents"; 2000.