Reasoning
=========

Clauses
-------

.. automodule:: fosf.reasoning.clauses
   :members:
   :show-inheritance:
   :member-order: bysource


Terms
-----

.. automodule:: fosf.reasoning.terms
   :members:
   :show-inheritance:
   :member-order: bysource


Theory
------

.. automodule:: fosf.reasoning.theory
   :members:
   :show-inheritance:
   :member-order: bysource


References
----------

.. bibliography::