Proceedings of the 12th Workshop on
User Interfaces for Theorem Provers <pre>@proceedings{AQ-17-a,
  editor        = {Serge Autexier and Pedro Quaresma},
  booktitle     = {Proceedings of the 12th Workshop on
User Interfaces for Theorem Provers },
  title         = {Proceedings of the 12th Workshop on
User Interfaces for Theorem Provers },
  journal       = {EPTCS},
  volume        = {239},
  series        = {EPTCS},
  address       = {Coimbra, Portugal},
  month         = {january},
  year          = {2017},
}
</pre>