@inproceedings{PVAS03GenUnityAtTPHOL,
  author    = {Prasetya, I.S.W.B and Vos, T.E.J. and Azurat, A. and Swierstra, S.D..},
  editor    = {D. Basin and B. Wolff},
  year      = 2003,
  title     = {{!UNITY}: A {HOL} Theory of General {UNITY}},
  booktitle = {Emerging Trends Proceedings of 16th International Conference, Theorem Proving in Higher Order Logics {(TPHOL)}},
  pages     = {159-176},
  note      = {Also available as tech. report No. 187 of Inst. fur Inf., Albert-Ludwig-Univ. Freiburg. Available on-line at {\tt http://www.informatik.uni-freiburg.de/tr}.},
  urlinfo   = {{http://tphols.informatik.uni-freiburg.de/}},
  urlpdf    = {{http://tphols.informatik.uni-freiburg.de/proceedings/et.pdf}},
  pubcat    = {workshop proceedings},
}