Wilfried Sieg, und Saverio Cittadini. Mechanizing Mathematical Reasoning, Volume 2605 von Lecture Notes in Computer Science, Seite 169-191. Springer, (2005)
Wilfried Sieg, und Saverio Cittadini. Mechanizing Mathematical Reasoning, Volume 2605 von Lecture Notes in Computer Science, Seite 169-191. Springer, (2005)