  
function write_ref() {

   document.write("<div class='tab-box2'>");
   document.write("<div class='tab2'><a class='tab2' href='/logic/propositionallanguages.html' ><img class='tab2' src='/logic/proplang80x80.jpg'              alt='Propositional Languages'>                       <br>Proposition L</a></div>");
   document.write("<div class='tab2'><a class='tab2' href='/logic/agent.html'                  ><img class='tab2' src='/logic/agent80x80.jpg'                 alt='Agent'>                                         <br>Agent</a></div>");
   document.write("<div class='tab2'><a class='tab2' href='/logic/proof.html'                  ><img class='tab2' src='/logic/proof80x80.jpg'                 alt='Proof'>                                         <br>Proof</a></div>");
   document.write("<div class='tab2'><a class='tab2' href='/logic/language.html'               ><img class='tab2' src='/logic/language80x80.jpg'              alt='Language'>                                      <br>Language</a></div>");
   document.write("<div class='tab2'><a class='tab2' href='/logic/connective.html'             ><img class='tab2' src='/logic/connective80x80.jpg'            alt='Connective'>                                    <br>Connective</a></div>");
   document.write("<div class='tab2'><a class='tab2' href='/logic/proposition.html'            ><img class='tab2' src='/logic/proposition80x80.jpg'           alt='Proposition'>                                   <br>Proposition</a></div>");
   document.write("<div class='tab2'><a class='tab2' href='/logic/atom.html'                   ><img class='tab2' src='/logic/atom80x80.jpg'                  alt='Atom'>                                          <br>Atom</a></div>");
   document.write("<div class='tab2'><a class='tab2' href='/logic/predicate.html'              ><img class='tab2' src='/logic/predicate80x80.jpg'             alt='Predicate'>                                     <br>Predicate</a></div>");
   document.write("<div class='tab2'><a class='tab2' href='/logic/compactness.html'            ><img class='tab2' src='/logic/compactness80x80.jpg'           alt='Compactness'>                                   <br>Compactness</a></div>");
   document.write("<div class='tab2'><a class='tab2' href='/logic/entailment.html'             ><img class='tab2' src='/logic/entail80x80.jpg'                alt='Entailment'>                                    <br>Entailment</a></div>");
   document.write("<div class='tab2'><a class='tab2' href='/logic/deduction.html      '        ><img class='tab2' src='/logic/deduction80x80.jpg'             alt='Deduction'>                                     <br>Deduction</a></div>");
   document.write("</div>");

   document.write("<div class='tab-box'>");
   document.write("<div class='tab'><a class='tab2' href='/logic/firstorderlanguages.html'    ><img class='tab' src='/logic/fol80x80.jpg'                   alt='First Order Languages'>                         <br>FOL</a></div>");
   document.write("<div class='tab'><a class='tab2' href='/logic/defeasiblereasoning.html'    ><img class='tab' src='/logic/defeasible80x80.jpg'            alt='Defeasible Reasoning'>                          <br>Defeasible R</a></div>");
   document.write("<div class='tab'><a class='tab2' href='/logic/artificialintelligence.html' ><img class='tab' src='/logic/ai80x80.jpg'                    alt='Artificial Intelligence'>                       <br>Artificial I</a></div>");
   document.write("<div class='tab'><a class='tab2' href='/logic/induction.html      '        ><img class='tab' src='/logic/induction80x80.jpg'             alt='Induction'>                                     <br>Induction</a></div>");
   document.write("<div class='tab'><a class='tab2' href='/logic/monotonic.html'              ><img class='tab' src='/logic/monotonic80x80.jpg'             alt='Monotonic'>                                     <br>Monotonic</a></div>");
   document.write("<div class='tab'><a class='tab2' href='/logic/rankedinterpretations.html'  ><img class='tab' src='/logic/rankedinterpretation80x80.jpg'  alt='Ranked Interpretation'>                         <br>Ranked Int.</a></div>");
   document.write("<div class='tab'><a class='tab2' href='/logic/automatedreasoning.html'     ><img class='tab' src='/logic/automatedreasoning80x80.jpg'    alt='Automated Reasoning'>                           <br>Automated R</a></div>");
   document.write("<div class='tab'><a class='tab2' href='/logic/otter.html'                  ><img class='tab' src='/logic/otter80x80.jpg'                 alt='Otter Theorem Prover'>                          <br>Otter T P</a></div>");
   document.write("<div class='tab'><a class='tab2' href='/logic/horn.html'                   ><img class='tab' src='/logic/horn80x80.jpg'                  alt='Horn Clauses'>                                  <br>Horn Clause</a></div>");
   document.write("<div class='tab'><a class='tab2' href='/logic/aristotle.html      '        ><img class='tab' src='/logic/aristotle80x80.jpg'             alt='Aristotle'>                                     <br>Aristotle</a></div>");
   document.write("<div class='tab'><a class='tab2' href='/logic/boolean.html      '          ><img class='tab' src='/logic/booleanunion80x80.jpg'          alt='Boolean'>                                       <br>Boolean</a></div>");
   document.write("<div class='tab'><a class='tab2' href='/logic/frege.html'                  ><img class='tab' src='/logic/frege80x80.jpg'                 alt='Frege'>                                         <br>Frege</a></div>");
   document.write("<div class='tab'><a class='tab2' href='/logic/cantor.html'                 ><img class='tab' src='/logic/cantor80x80.jpg'                alt='Cantor'>                                        <br>Cantor</a></div>");
   document.write("<div class='tab'><a class='tab2' href='/logic/johnmccarthy.html'           ><img class='tab' src='/logic/johnmccarthy80x80.jpg'          alt='John McCarthy'>                                 <br>J McCarthy</a></div>");
   document.write("<div class='tab'><a class='tab2' href='/is/'                                            ><img class='tab' src='/is/is80x80.jpg'                                    alt='IS '>                                           <br>IS </a></div>");
   document.write("</div>");

}
write_ref();




