Using Difference Reduction for Generic Proof Search

Santiago Negrete. Using Difference Reduction for Generic Proof Search. Computación y Sistemas, 2(2-3), 1999. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.