You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Since all the paper is about formulae satisfiability, the use of the term programs for Datalog formulae could be avoided. Maybe just mentioned in a footnote.
The text was updated successfully, but these errors were encountered:
Since all the paper is about formulae satisfiability, the use of the term programs for Datalog formulae could be avoided. Maybe just mentioned in a footnote.
The text was updated successfully, but these errors were encountered: