Paper Info
Title
Termination induction by means of an abstract OLDT resolution
Year
Venue
Field
1992
JFPL
Computer science,Algorithm
DocType
Citations 
PageRank 
Conference
1
0.37
References 
Authors
1
3
Name
Order
Citations
PageRank
Christophe Lecoutre170945.10
Philippe Devienne213119.93
Patrick Lebègue3335.13