LucSegoufin

TypePostAuthorRepliesLast post
Open problemFinite entailment of Positive Horn logic LucSegoufin14 years 23 weeks ago