1. Lecture Notes in Artificial Intelligence;A. Armando,2001
2. Armando, A., Ranise, S.: Constraint Contextual Rewriting. In: Proc. of the 2nd Intl. Workshop on First Order Theorem Proving, (FTP 1998) (1998)
3. Lecture Notes in Computer Science;A. Armando,2000
4. Armando, A., Ranise, S.: A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic. Journal of Universal Computer Science 7(2), 124–140 (2001); Special Issue on Tools for System Design and Verification (FM-TOOLS 2000)
5. Bjørner, N.S.: Integrating Decision Procedures for Temporal Verification. PhD thesis, Computer Science Department, Stanford University (1998)