Urelements in Type Theory: New Definition of "Inherence"
Urelements in Computational Type Theory
Automating Proofs in Event Logic