Ullrich Hustadt, Renate A. Schmidt. Scientific Benchmarking with Temporal Logic Decision Procedures. In Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, Mary-Anne Williams, editors, Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002. pages 533-546, Morgan Kaufmann, 2002.
Abstract is missing.