Title
Fun With Tilings.
Year
Venue
DocType
2008
Archive of Formal Proofs
Journal
Volume
Citations 
PageRank 
2008
0
0.34
References 
Authors
0
2
Name
Order
Citations
PageRank
Tobias Nipkow13056232.28
Lawrence C. Paulson22929265.05