Technical Reports

1. Tableau Methods for Modal and Temporal Logics, Rajeev Goré, TR-ARP-15-95, Automated Reasoning Project, Australian National University (1995, last revised Sep 1997) 110 pages.
2. Gaggles, Gentzen and Galois: A Proof Theory for Algebraizable Logics, Rajeev Goré, in TR-SRS-1-95, Automated Reasoning Project, Australian National University (1995) 5 pages.
3. Solving the Display Problem Via Residuation, Rajeev Goré, TR-ARP-12-95, Automated Reasoning Project, Australian National University (1995) 35 pages.
4. SRS-II: Proceedings of the Second Symbolic Reasoning Systems Workshop, TR-SRS-1-95, Automated Reasoning Project, Australian National University (1995) ? pages.
5. A Uniform Display System for Intuitionistic and Dual Intuitionistic Logic, Rajeev Goré, TR-ARP-6-95, Automated Reasoning Project, Australian National University (1995) 15 pages.
6. Intuitionistic Logic Redisplayed, Rajeev Goré, TR-ARP-1-95, Automated Reasoning Project, Australian National University (1995) 34 pages.

Prof. Rajeev P. Goré         Tel: +61-2-6125 8603 
Automated Reasoning Group    Fax: +61-2-6125 8651 
Computer Sciences Laboratory Email: Rajeev.Gore at anu.edu.au
Research School of Information Sciences and Engineering 
Australian National University 
Canberra, ACT, 2601, AUSTRALIA     
ANU CRICOS Provider Number - 00120C