Revisions for Finite entailment of Positive Horn logic

The revisions let you track differences between multiple versions of a post.
RevisionOperations
2012-09-21 14:08 by LucSegoufincurrent revision
2012-09-21 11:48 by LucSegoufin
2012-09-21 11:47 by LucSegoufin