Publications
Thu, 04/03/2008 - 15:14 — Bilal Said
List will be updated soon...
The theoretical basis of Lotrec is a general tableaux method (if this link is broken).
Here is a 5 pages system description (published at IJCAR'01).