Crossref Citations
                  This article has been cited by the following publications. This list is generated based on data provided by Crossref.
                                
                                    
                                    Li, Bing
                                    
                                    Zhao, Chen Yang
                                     and 
                                    Li, Lian
                                  2011.
                                  Performing Calculation in Interactive Theorem Proving.
                                  
                                  
                                  Applied Mechanics and Materials, 
                                  Vol. 130-134, 
                                  Issue. , 
                                
                                    p. 
                                    2924.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Arceri, Vincenzo
                                     and 
                                    Mastroeni, Isabella
                                  2019.
                                  Static Program Analysis for String Manipulation Languages.
                                  
                                  
                                  Electronic Proceedings in Theoretical Computer Science, 
                                  Vol. 299, 
                                  Issue. , 
                                
                                    p. 
                                    19.
                                
                                
                        
                        
                        
                         
 
