1. Lecture Notes in Computer Science;A. Burrieza,2006
2. Lecture Notes in Computer Science;A. Burrieza,2004
3. Burrieza, A., Ojeda-Aciego, M.: A multimodal logic approach to order of magnitude qualitative reasoning with comparability and negligibility relations. Fundamenta Informaticae 68, 21–46 (2005)
4. Dague, P.: Symbolic reasoning with relative orders of magnitude. In: Proc. 13th Intl. Joint Conference on Artificial Intelligence, pp. 1509–1515. Morgan Kaufmann, San Francisco (1993)
5. Dallien, J., MacCaull, W.: RelDT—a dual tableaux system for relational logics (in press, 2005), Available from:
http://logic.stfx.ca/reldt/