LucSegoufin

TypePostAuthorRepliesLast post
Open problemFinite entailment of Positive Horn logic LucSegoufin08 years 10 weeks ago