Sequence Datalog: un prototipo per l'interrogazione di sequenze. - Salvatore Labonia; Giansalvatore Mecca (SEBD, 1996)