Paper Info
Title
Ground Confluence Prover based on Rewriting Induction.
Year
Venue
DocType
2016
FSCD
Conference
Citations 
PageRank 
References 
1
0.35
0
Authors
2
Name
Order
Citations
PageRank
Takahito Aoto112117.53
Yoshihito Toyama253349.60