5   volume = 19,

     5   volume = 19,

     6   number = {2},

     6   number = {2},

     7   year = 2009,

     7   year = 2009,

     8   pages = {173--190}

     8   pages = {173--190}

     9 }

     9 }

    12 

    10 

    13 @Unpublished{KraussNipkow11,

    11 @Unpublished{KraussNipkow11,

    14   author = 	 {A.~Kraus and T.~Nipkow},

    12   author = 	 {A.~Kraus and T.~Nipkow},

    15   title = 	 {{P}roof {P}earl: {R}egular {E}xpression {E}quivalence and {R}elation {A}lgebra},

    13   title = 	 {{P}roof {P}earl: {R}egular {E}xpression {E}quivalence and {R}elation {A}lgebra},

    16   note = 	 {To appear in Journal of Automated Reasoning},

    14   note = 	 {To appear in Journal of Automated Reasoning},