Further details on the implementation techniques and strategies exploited in trandIt
can be found in:
A. Formisano
and
M. Nicolosi Asmundo.
An efficient relational deductive system for propositional
non-classical logics.
J. of Applied Non-Classical Logics, 16(3-4), 2006.
(BibTeX)
Last update: 01-12-2009 by andy