Termination of narrowing revisited

María Alpuente, Santiago Escobar, José Iborra. Termination of narrowing revisited. Theoretical Computer Science, 410(46):4608-4625, 2009. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.