The following pages link to Detecting redundant narrowing derivations by the LSE-SL reducibility test (Q5055750):
Displaying 2 items.