LucSegoufin

TypePostAuthorRepliesLast post
Open problemFinite entailment of Positive Horn logic LucSegoufin07 years 42 weeks ago