@Article{DDM02, author = {Eugenio {Di Sciascio} and Francesco M. Donini and Marina Mongiello}, title = "Using Computation Tree Logic for Intelligent
Information Search on the Web", journal = "International Journal of Computational
Intelligence and Applications", number = "3", volume = "2", pages = "245--253", year = "2002", url = "http://sisinflab.poliba.it/sisinflab/publications/
2002/DDM02" }