Lüth, C. (2009) “User Interfaces for Theorem Provers: Necessary Nuisance or Unexplored Potential?”, Electronic Communications of the EASST, 23. doi: 10.14279/tuj.eceasst.23.322.