0 citations0 referencesGoogle Scholardoi.orgA Prolog technology theorem proverNew Generation Computing·1984·Vol. 2(4), pp. 371–383Citations Over TimeTop 10% of 1984 papersMark E. StickelRelated PapersE - a brainiac theorem prover(2002)→ A theorem prover for a computational logic(1990)50 cited→ Providing automated support to deductive analysis of time critical systems(1997)19 cited→ Conclusions(2001)