0 citations0 referencesGoogle Scholardoi.orgA prolog technology theorem prover: Implementation by an extended prolog compilerJournal of Automated Reasoning·1988·Vol. 4(4), pp. 353–380Citations Over TimeTop 10% of 1988 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)