Paper Info
Title
The Area Method - A Recapitulation.
Year
Venue
DocType
2012
J. Autom. Reasoning
Journal
Volume
Issue
Citations 
48
4
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Predrag Janicic1738.22
Julien Narboux213012.49
Pedro Quaresma37812.74