\newpage
\begin{thebibliography}{99}
\bibitem{ENT}
  Anderson, A.R. \& N.D. Belnap, \\
  {\em Entailment: The Logic of Relevance and Necessity}, 
  Vol.~I, Princeton University Press, Princeton, 1975.
\bibitem{RLE}
  Dunn, J.M., \\
  `Relevance Logic and Entailment',
  Gabbay, D. \& F. Guenthner (eds), 
  {\em Handbook of Philosophical Logic}, Vol.~III, Reidel, 
  Dordrecht, 1986.
\bibitem{XW3}
  Fulton, J., \\
  {\em X Window System, Version 11, Release 3: Release Notes}, MIT, 
  Cambridge (Mass), 1988.
\bibitem{GIR}
  Girard, J.Y., \\
  `Linear Logic', 
  {\em Theoretical Computer Science\/} 50 (1987), pp. 1--102.
\bibitem{C}
  Kernighan, B.W. \& D.M. Ritchie, \\
  {\em The C Programming Language} \\
  Prentice Hall, Eaglewood Cliffs NJ, 1978.
\bibitem{PPPP}
  Lusk, E. {\it et al}, \\
   {\em Portable Programs for Parallel Processors},
   Holt, Rinehart \& Winston, New York, 1987.
\bibitem{XTI4}
  \Mc Cormack, J., Asente, P. \& R.R. Swick, \\
  {\em X Toolkit Intrinsics--C Language Interface: X Window System, X 
  Version 11, Release 4}, MIT \& DET, Cambridge (Mass), 1989.
\bibitem{MGT}
  Malkin, P.K. \& E.P. Martin, \\
  `Logical Matrix Generation and Testing',
  Technical Report TR-ARP-6/87,
  Australian National University, Canberra, 1987.
\bibitem{AAE}
   Meyer, R.K. \& F.R. Routley, \\
   `Algebraic Analysis of Entailment',
   {\em Logique et Analyse\/} 15 (1972), pp.~407--428.
\bibitem{CDM}
   Meyer, R.K. \& J.K. Slaney, \\
   `Computing De Morgan Monoids',
   Technical Report TR-ARP-1/87,
   Australian National University, Canberra, 1987.
\bibitem{AthWidSet}
   Peterson, C.D. (MIT X Consortium),  \\
   {\em Athena Widget Set--C Language Interface: X Window System, X 
   Version 11, Release 4}, MIT \& DET, Cambridge (Mass), 1989.
\bibitem{SCD}
   Pritchard, P.A., \\
   `And Now For Something Completely Different',
   manuscript, 1979.
\bibitem{RLR}
   Routley, F.R. {\it et al}, \\
   {\em Relevant Logics and their Rivals},
   Ridgeview, Atascadero (California), 1982.
\bibitem{THESIS}
   Slaney, J.K., \\
   Computers and Relevant Logic: A Project in Computing 
   Matrix Model Structures for Propositional Logics, 
   doctoral thesis, Australian National University, 
   Canberra, 1980.
\bibitem{SDM}
   Slaney, J.K.,  \\
   `On the Structure of De Morgan Monoids, with Corollaries
   on Relevant Logic and Theories',
   {\em Notre Dame Journal of Formal Logic\/} 30 (1989), pp.~117--129.
\bibitem{GLOG}
   Slaney, J.K., \\
   `A General Logic',
   {\em Australasian Journal of Philosophy\/} 68 (1990), pp.~74--88.
   Also technical report TR-ARP-4/88, 
   Australian National University, Canberra, 1988.
\bibitem{ACT}
   Slaney, J.K.,  \\
   `The Ackermann Constant Theorem: A Computer-Assisted 
   Investigation', 
   {\em Journal of Automated Reasoning}, forthcoming.
\bibitem{VR}
   Slaney, J.K.,  \\
   `Vagueness Revisited', 
   Technical Report TR-ARP-15/88,
   Australian National University, Canberra, 1988.
\bibitem{SCon}
   Slaney, J.K.,  \\
   `Sentential Constants in Logics Near R',
   Technical Report TR-ARP-1/90,
   Australian National University, Canberra, 1990.
\bibitem{FMOD}
  Slaney, J.K.,  \\
  `Finite Models for Some Non-Classical Logics',
  Technical Report, forthcoming, Canberra (1990).
\bibitem{CADE}
  Slaney, J.K. \& Lusk, E.L.,  \\
  `Parallelizing the Closure Computation in Automated Deduction',
  {\em Proceedings of the 10th International Conference on Automated 
  Deduction, West Germany, 1990}, forthcoming.
\bibitem{ATHENA}
   Swick, R.R. \& T. Weissman, \\
   {\em X Toolkit Athena Widgets---C Language Interface: X Window System, 
   X Version 11, Release 3}, MIT \& DET, Cambridge (Mass), 1988.
\bibitem{ATP}
  Thistlewaite, P.B., \Mc Robbie, M.A. \& R.K. Meyer,\\
  {\em Automated Theorem-Proving in Non-Classical Logics},
  Pitman, London, 1988.
\end{thebibliography}