Has where published Proceedings of 8th International Workshop On User Interfaces for Theorem Provers (UITP'08)
From Tetherless World Wiki
A list of all pages that have property "Has where published" with value "Proceedings of 8th International Workshop On User Interfaces for Theorem Provers (UITP'08)"
