Proper actions on topological groups: Applications to quotient spaces
Proper and admissible topologies in the setting of closure spaces
Properness, Cauchy-indivisibility and the Weil completion of a group of isometries
Properties D and aD are different