Pages that link to "Item:Q5881277"

The following pages link to Knuth-bendix completion of horn clause programs for restricted linear resolution and paramodulation (Q5881277):

Displaying 1 item.

• Order-sorted completion: The many-sorted way (Q1177935) (← links)