Temporal Queries over World Wide Web
Symposium on Applications and the Internet 2005(査読付き国際学会) IEEE、情報処理学会
動的性質を持つデータベースの問い合わせとして、Safety Propertyのチェックが有効であることを示した。