homepages/61/6982 journals/concurrency/MoreauLABBCCCCBDDDFFFFGGGGGHJKKKMMMMMMPPRSSSSSSSSSTVWZZ08 journals/concurrency/ZhaoGST08 conf/eScience/TuriMGRO07 conf/mammo/RoseTWWT06 conf/cade/BechhoferHT05 conf/semweb/WolstencroftBHLSTS05 journals/sigmod/BadaTMS04 conf/dlog/HorrocksLTB04 conf/mkm/CaprottiDT04 conf/lics/FioreT01 journals/tcs/PowerT99 conf/lics/FiorePT99 journals/mscs/TuriR98 conf/ctcs/Turi97 conf/lics/TuriP97 conf/rex/RuttenT93 conf/lpar/GabbrielliLT92 conf/rex/RuttenT92 conf/iclp/Turi91