Authors: PARLAMENTO F POLICRITI A RAO KPSB

Citation: F. Parlamento et al., WITNESSING DIFFERENCES WITHOUT REDUNDANCIES, Proceedings of the American Mathematical Society, 125(2), 1997, pp. 587-594

Authors: POLICRITI A SCHWARTZ JT

Citation: A. Policriti et Jt. Schwartz, T-THEOREM PROVING .1., Journal of symbolic computation, 20(3), 1995, pp. 315-342

Authors: OMODEO EG POLICRITI A

Citation: Eg. Omodeo et A. Policriti, SOLVABLE SET HYPERSET CONTEXTS .1. SOME DECISION PROCEDURES FOR THE PURE, FINITE CASE, Communications on pure and applied mathematics, 48(9-10), 1995, pp. 1123-1155

Authors: OMODEO EG PARLAMENTO F POLICRITI A

Citation: Eg. Omodeo et al., A DERIVED ALGORITHM FOR EVALUATING EPSILON-EXPRESSIONS OVER ABSTRACT SETS, Journal of symbolic computation, 15(5-6), 1993, pp. 673-704