Inconsistencies in the Process Specification Language (PSL). Beeson, M.; Halcomb, J.; and Mayer, W. In Höfner, P.; McIver, A.; and Struth, G., editors, ATE-2011, Automated Theory Engineering, Proceedings of the First Workshop on Automated Theory Engineering, Co-Located with the 23rd International Conference on Automated Deduction Wroclaw, Poland, July 31, 2011, pages 9--19. CEUR. The link leads to the workshop table of contents; click to reach the paper.
bibtex   
@incollection{ beeson2011,
  author = {Michael Beeson and Jay Halcomb and Wolfgang Mayer},
  booktitle = {ATE-2011, Automated Theory Engineering, Proceedings of the First Workshop on Automated Theory Engineering, Co-Located with the 23rd International Conference on Automated Deduction Wroclaw, Poland, July 31, 2011},
  date-added = {2014-11-14 22:23:30 +0000},
  date-modified = {2014-11-14 22:27:53 +0000},
  editor = {Peter Höfner and  Annabelle McIver and George Struth},
  keywords = {Automated deduction, PSL},
  note = {The link leads to the workshop table of contents; click to reach the paper.},
  pages = {9--19},
  publisher = {CEUR},
  title = {Inconsistencies in the Process Specification Language (PSL)}
}
Downloads: 0