Pages that link to "Item:Q1390960"

The following pages link to An order-sorted resolution in theory and practice (Q1390960):

Displaying 2 items.

• Order-sorted logic programming with predicate hierarchy (Q814621) (← links)
• Resolution for label-based formulas in hierarchical representation (Q1882550) (← links)