Giovanni Conforti Orlando Ferrara Giorgio Ghelli TQL Algebra and its Implementation. 422-434 2002 conf/ifipTCS/2002 IFIP TCS db/conf/ifipTCS/ifipTCS2002.html#ConfortiFG02