Pages that link to "Item:Q1085152"

The following pages link to On solving the equality problem in theories defined by Horn clauses (Q1085152):

Displaying 2 items.

• Linear and unit-resulting refutations for Horn theories (Q1923821) (← links)
• A maximal-literal unit strategy for horn clauses (Q5881264) (← links)