DECIDING LINEAR INEQUALITIES BY COMPUTING LOOP RESIDUESSHOSTAK R.1981; J. ASSOC. COMPUT. MACH.; ISSN 0004-5411; USA; DA. 1981; VOL. 28; NO 4; PP. 769-779; BIBL. 27 REF.Article

Deciding combinations of theoriesSHOSTAK, R. E.Journal of the Association for Computing Machinery. 1984, Vol 31, Num 1, pp 1-12, issn 0004-5411Article

A PROVER FOR GENERAL INEQUALITIESBLEDSDOE WW; BRUELL P; SHOSTAK R et al.1979; IJCAI 79. INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE. 6/1979/TOKYO; USA; S.1.: INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE; DA. 1979; VOL. 1; PP. 66-69; BIBL. 10 REF.Conference Paper

Proceedings/7th. International conference on automated deduction, Napa, CA, May 14-16, 1984SHOSTAK, R. E.Lecture notes in computer science. 1984, Vol 170, issn 0302-9743, VI-508 pConference Proceedings

REACHING AGREEMENT IN THE PRESENCE OF FAULTSPEASE M; SHOSTAK R; LAMPORT L et al.1980; J. ASS. COMPUTG MACHIN.; USA; DA. 1980; VOL. 27; NO 2; PP. 228-234; BIBL. 4 REF.Article

Completeness results of inequality proversBLEDSOE, W. W; KUNEN, K; SHOSTAK, R et al.Artificial intelligence. 1985, Vol 27, Num 3, pp 255-288, issn 0004-3702Article