Home

Publications

This discussion is closed: you can't post new comments.
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).