Crossref Citations
                  This article has been cited by the following publications. This list is generated based on data provided by Crossref.
                                
                                    
                                    Guard, J. R.
                                    
                                    Oglesby, F. C.
                                    
                                    Bennett, J. H.
                                     and 
                                    Settle, L. G.
                                  1969.
                                  Automation of Reasoning.
                                  
                                  
                                  
                                  
                                  
                                
                                    p. 
                                    203.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Guard, J. R.
                                    
                                    Oglesby, F. C.
                                    
                                    Bennett, J. H.
                                     and 
                                    Settle, L. G.
                                  1969.
                                  Semi-Automated Mathematics.
                                  
                                  
                                  Journal of the ACM, 
                                  Vol. 16, 
                                  Issue. 1, 
                                
                                    p. 
                                    49.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Glukhov, M. M.
                                    
                                    Stelletskii, I. V.
                                     and 
                                    Fofanova, T. S.
                                  1972.
                                  Algebra and Geometry.
                                  
                                  
                                  
                                  
                                  
                                
                                    p. 
                                    111.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    McCune, William
                                  1988.
                                  9th International Conference on Automated Deduction.
                                  
                                  
                                  
                                  Vol. 310, 
                                  Issue. , 
                                
                                    p. 
                                    704.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Mackenzie, D.
                                  1995.
                                  The automation of proof: a historical and sociological exploration.
                                  
                                  
                                  IEEE Annals of the History of Computing, 
                                  Vol. 17, 
                                  Issue. 3, 
                                
                                    p. 
                                    7.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Harrison, John
                                  2007.
                                  Algebraic Biology.
                                  
                                  
                                  
                                  Vol. 4545, 
                                  Issue. , 
                                
                                    p. 
                                    334.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Harrison, John
                                    
                                    Urban, Josef
                                     and 
                                    Wiedijk, Freek
                                  2014.
                                  Computational Logic.
                                  
                                  
                                  
                                  Vol. 9, 
                                  Issue. , 
                                
                                    p. 
                                    135.
                                
                                
                        
                        
                        
                         
 