1. Doherty, Patrick and Lukaszewicz, Witold, ?NML3 ? a non-monotonic logic with explicit defaults?, Research Report, RKLLAB LiTH-IDA-R-91-13, Dept. of Computer and Information Science, Linköping University (1991).
2. Fenstad, Jens Erik, Halvorsen, Per-Kristian, Langholm, Tore and Benthem, Johan van, ?Equations, schemata and situations: A framework for linguistic semantics?, Technical Report CSLI-85-29, Center for the Studies of Language and Information Stanford (1985).
3. Fitting, Melvin C., ?First-order modal tableaux?,J. Automated Reasoning 4, 191?213 (1988).
4. Fitting, Melvin C.,First-Order Logic and Automated Theorem Proving, Springer, New York (1990).
5. Hähnle, Reiner, ?Uniform notation of tableaux rules for multiple-valued logics?, inProc. International Symposium on Multiple-Valued Logic, Victoria (1991), pp. 238?245.